Keisuke Nakano
Typechecking Model Transformation
BX, 2008.
@inproceedings{BX-2008-Nakano1,
address = "Shonan, Japan",
author = "Keisuke Nakano",
booktitle = "{Proceedings of the GRACE International Meeting on Bidirectional Transformations}",
editor = "Krzysztof Czarnecki and J. Nathan Foster and Zhenjiang Hu and Ralf Lämmel and Andy Schürr and James F. Terwilliger",
month = "dec",
pages = "50",
title = "{Typechecking Model Transformation}",
year = 2008,
}











