Skip to content

From Nondeterministic UML Protocol Statemachines to Class Contracts.

Ivan Porres, Irum Rauf

VenueAICST
Year2010
ProceedingsICST

Browse the full ICST paper archive.