From Software Specifications to Constraint Programming.

Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel

Browse the full SEFM paper archive.