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]
No references recorded for this publication.
No citations of this publication recorded.