Skip to content

A Technique for Automatic Validation of Model Transformations.

Levi Lucio, Bruno Barroca, Vasco Amaral

VenueAMODELS
Year2010
ProceedingsMoDELS (1)

Browse the full MODELS paper archive.