Example-Driven Modeling using Clafer.

Michal Antkiewicz, Kacper Bak, Krzysztof Czarnecki, Zinovy Diskin, Dina Zayan, Andrzej Wasowski

Browse the full MODELS paper archive.