M

Master Thesis Isabelle Proofs

Project information

Isabelle proofs for mapping Ecore to GROOVE and vice versa. Part of my master thesis.

103 Commits
1 Branch
0 Tags

Created on

May 07, 2019

Loading