Skip to content

Towards Test-Driven Semantics Specification.

Christian Soltenborn, Gregor Engels

VenueAMODELS
Year2009
ProceedingsMoDELS

Browse the full MODELS paper archive.