[Zurück]

@inproceedings{TUW-216802,
    author = {Gabmeyer, Sebastian},
    title = {Formal Verification Techniques for Model Transformations Specified By-Demonstration},
    booktitle = {Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering},
    year = {2012},
    editor = {Goedicke, Michael and Menzies, Tim and Saeki, Motoshi},
    pages = {390--393},
    publisher = {ACM},
    url = {http://publik.tuwien.ac.at/files/PubDat_216802.pdf},
    isbn = {978-1-4503-1204-2},
    doi = {10.1145/2351676.2351756},
    keywords = {Model transformations, model checking, theorem proving, by-demonstration specification, model-driven development},
    note = {Vortrag: IEEE/ACM International Conference on Automated Software Engineering, Essen, Germany; 2012-09-03 -- 2012-09-07}
}