Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs.

Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton

Browse the full MODELS paper archive.