Formalizing model consistency based on the abstract syntax.

Frank Trollmann, Marco Blumendorf, Veit Schwartze, Sahin Albayrak

Browse the full EICS paper archive.