Reasoning About Exceptional Behavior at the Level of Java Bytecode.

Marco Paganoni, Carlo A. Furia

Browse the full IFM paper archive.