Bertrand Boisvert, Louis Féraud, Sergei Soloviev. Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification. In Slimane Hammoudi, Luís Ferreira Pires, Joaquim Filipe, Rui César das Neves, editors, MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19 - 21 February, 2013. pages 62-74, SciTePress, 2013. [doi]
Abstract is missing.