Java program verification via a Hoare logic with abrupt termination (2000)

by M Huisman, B Jacobs
Venue:Fundamental Approaches to Software Engineering, number 1783 in LNCS