Formal Foundations of Consistency in Model-Driven Development.

Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, Wolfram Pfeifer

Browse the full ISoLA paper archive.