Sound reasoning about unchecked exceptions.

Bart Jacobs, Peter Mller, Frank Piessens

Browse the full SEFM paper archive.