Wolfram Kahl. Towards Certifiable Implementation of Graph Transformation via Relation Categories. In Wolfram Kahl, Timothy G. Griffin, editors, Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings. Volume 7560 of Lecture Notes in Computer Science, pages 82-97, Springer, 2012. [doi]
@inproceedings{Kahl12, title = {Towards Certifiable Implementation of Graph Transformation via Relation Categories}, author = {Wolfram Kahl}, year = {2012}, doi = {10.1007/978-3-642-33314-9_6}, url = {http://dx.doi.org/10.1007/978-3-642-33314-9_6}, researchr = {https://researchr.org/publication/Kahl12}, cites = {0}, citedby = {0}, pages = {82-97}, booktitle = {Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings}, editor = {Wolfram Kahl and Timothy G. Griffin}, volume = {7560}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-33313-2}, }