A Logic of Object-Oriented Programs

K. Rustan M. Leino
Verification: Theory and Practice(2003), pp. 11-41

Abstract

Research Areas