@inproceedings {456, title = {Static Type Checking of Model Transformation Programs}, booktitle = {ICGT{\textquoteright}10 Doctoral Symposium}, year = {2010}, month = {10/2010}, pages = {413-415}, publisher = {Springer Berlin / Heidelberg}, organization = {Springer Berlin / Heidelberg}, address = {University of Twente, Enschede, The Netherlands}, keywords = {model transformations, static analysis, type checking, Viatra}, doi = {10.1007/978-3-642-15928-2_36}, author = {Zolt{\'a}n Ujhelyi} }