Regular Repair of Specifications.

Michael Benedikt, Gabriele Puppis, Cristian Riveros

Browse the full LICS paper archive.