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