Formal Methods in Computing

TitleFormal Methods in Computing
Publication TypeBook Chapter
Year of Publication2005
AuthorsPataricza, A., and Varró, D.
ChapterMetamodeling and Model Transformations
Pagination357–425
Publisher{Akadémiai Kiadó