Specification and verification challenges for sequential object-oriented programs (2007)

by G Leavens, P Müllen, K R M Leino
Venue:Formal Asp. Comput