Java Program Verification via a Hoare Logic with Abrupt Termination (2000)

Cached

Download Links

by Marieke Huisman , Bart Jacobs
Venue:Fundamental Approaches to Software Engineering (FASE 2000), number 1783 in LNCS
Citations:62 - 6 self