Automated Error-Detection and Repair for Compositional Software Specifications.

Dalal Alrajeh, Robert Craven

Browse the full SEFM paper archive.