Skip to content

CD2Alloy: Class Diagrams Analysis Using Alloy Revisited.

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

VenueAMODELS
Year2011
ProceedingsMoDELS

Browse the full MODELS paper archive.