Skip to content

Model-Based Testing Using LSCs and S2A.

Shahar Maoz, Jani Mets, Mika Katara

VenueAMODELS
Year2009
ProceedingsMoDELS

Browse the full MODELS paper archive.