Vol-1511⫷ Vol-1512 ⫸Vol-1513
urn:nbn:de:0074-1512-0


Vol-1512/paper07⫷Vol-1512/paper08⫸Vol-1512/paper09
Arnaud DieumegardGuillaume BabinMartin CartonMarc Pantel

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