@inproceedings {ujhelyi_modelltranszformcik_2009,
	title = {Modelltranszform{\'a}ci{\'o}k statikus anal{\'\i}zise},
	booktitle = {Tavaszi Sz{\'e}l Konferenciakiadv{\'a}ny},
	year = {2009},
	note = {<br />
},
	month = {05/2009},
	pages = {33{\textendash}39},
	address = {Szeged},
	keywords = {model transformations, static analysis, type checking, Viatra},
	isbn = {9789638756930},
	author = {Zolt{\'a}n Ujhelyi}
}
