Skip to content

Generating class contracts from UML protocol statemachines.

Ivan Porres, Irum Rauf

VenueAMODELS
Year2009
ProceedingsMoDeVVa@MoDELS

Browse the full MODELS paper archive.