@inproceedings{TUW-208504, author = {Vallecillo, Antonio and Gogolla, Martin and Burgue{\~n}o, Loli and Wimmer, Manuel and Hamann, Lars}, title = {Formal Specification and Testing of Model Transformations}, booktitle = {Formal Methods for Model-Driven Engineering}, year = {2012}, editor = {Bernardo, Marco and Cortellessa, Vittorio and Pierantonio, Alfonso}, pages = {399--437}, publisher = {Springer}, address = {LNCS 7320}, url = {http://publik.tuwien.ac.at/files/PubDat_208504.pdf}, issn = {0302-9743}, doi = {10.1007/978-3-642-30982-3{\_}11}, keywords = {model-driven engineering, model transformation}, note = {eingeladen; Vortrag: International School on Formal Methods for the Design of Computer, Communcation, and Software Systems, Bertinoro, Italy; 2012-06-18 -- 2012-06-23} }