Formal Methods in Computing
Title | Formal Methods in Computing |
Publication Type | Book Chapter |
Year of Publication | 2005 |
Authors | Pataricza, A., and Varró, D. |
Chapter | Metamodeling and Model Transformations |
Pagination | 357–425 |
Publisher | {Akadémiai Kiadó |