Debugging of Model Transformations and Contracts in SyVOLT.

Bentley James Oakes, Levi Lucio, Clark Verbrugge, Hans Vangheluwe

Browse the full MODELS paper archive.