TractsTool: Testing Model Transformations based on Contracts.
Loli Burgueo, Manuel Wimmer, Javier Troya, Antonio Vallecillo
VenueAMODELS
Year2013
ProceedingsMoDELS (Demos/Posters/StudentResearch)
DBLP recordconf/models/BurguenoWTV13 ↗
Browse the full MODELS paper archive.