[Zurück]

@article{TUW-207083,
    author = {Guerra, Esther and De Lara, Juan and Wimmer, Manuel and Kappel, Gerti and Kusel, Angelika and Retschitzegger, Werner and Sch{\"o}nb{\"o}ck, Johannes and Schwinger, Wieland},
    title = {Automated verification of model transformations based on visual contracts},
    journal = {Journal of Automated Software Engineering},
    year = {2012},
    volume = {20},
    number = {1},
    pages = {5--46},
    url = {http://link.springer.com/article/10.1007%2Fs10515-012-0102-y},
    doi = {10.1007/s10515-012-0102-y}
}