Exception Handling: Formal Specification and Systematic Program Construction.

Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Grard D. Guiho

Browse the full ICSE paper archive.