Specification and Verification of Object-Oriented Software

by K. Rustan M. Leino
Citations:11 - 4 self