Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations.
Márk AsztalosPéter EklerLászló LengyelTihamer LevendovszkyGergely MezeiTamás MészárosPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)