Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations

Márk Asztalos, Péter Ekler, László Lengyel, Tihamer Levendovszky, Gergely Mezei, Tamás Mészáros. Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations. ECEASST, 42, 2011. [doi]

Abstract

Abstract is missing.