Skip to content

Model-based formal specification of a DSL library for a qualified code generator.

Arnaud Dieumegard, Andres Toom, Marc Pantel

VenueAMODELS
Year2012
ProceedingsOCL@MoDELS

Browse the full MODELS paper archive.