Towards Certifiable Implementation of Graph Transformation via Relation Categories

From MaRDI portal
Publication:2915137

DOI10.1007/978-3-642-33314-9_6zbMath1364.68309OpenAlexW119139902MaRDI QIDQ2915137

Wolfram Kahl

Publication date: 21 September 2012

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33314-9_6




Related Items (1)


Uses Software


Cites Work




This page was built for publication: Towards Certifiable Implementation of Graph Transformation via Relation Categories