[Zurück]

@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}
}