Java Program Verification via a Hoare Logic with Abrupt Termination.

Marieke Huisman, Bart Jacobs

Browse the full FASE paper archive.