![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Formal Methods for Model-Driven Engineering Volume 7320 || Formal Specification and Testing of Model Transformations
Bernardo, Marco, Cortellessa, Vittorio, Pierantonio, AlfonsoVolume:
10.1007/97
Year:
2012
Language:
english
DOI:
10.1007/978-3-642-30982-3_11
File:
PDF, 748 KB
english, 2012