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

by G T Leavens, K R M Leino, P Muller
Venue:Formal Aspects of Computing