Formal Methods in Computing

CímFormal Methods in Computing
Közlemény típusaBook Chapter
Kiadás éve2005
SzerzőkPataricza, A., and Varró, D.
FejezetMetamodeling and Model Transformations
Pagination357–425
Kiadó{Akadémiai Kiadó