Reasoning about the correctness of software development process.

Claudia Pons, Gabriel Baum

Browse the full ICSE paper archive.