Specification and verification challenges for sequential object-oriented programs

Cached

Download Links

by Gary T. Leavens , K. Rustan M. Leino , Peter Müller
Venue:UNDER CONSIDERATION FOR PUBLICATION IN FORMAL ASPECTS OF COMPUTING
Citations:54 - 5 self