Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification.

Bertrand Boisvert, Louis Fraud, Sergei Soloviev

Browse the full MODELSWARD paper archive.