Márk Asztalos

Formal verification of model transformations: An automated framework

Márk Asztalos, István Madari, Tamás Vajk, 2010, 2010 International Joint Conference on Computational Cybernetics and Technical Informatics.