Java program verification via a Hoare Logic with abrupt termination (0)

by Marieke Huisman, Bart Jacobs
Venue:In Proc. Fundamental Approaches to Software Engineering (FASE 2000