Detecting Specification Errors in Declarative Languages with Constraints.

Ethan K. Jackson, Wolfram Schulte, Nikolaj S. Bjrner

Browse the full MODELS paper archive.