A Logic of Object-Oriented Programs

K. Rustan M. Leino
TAPSOFT (1997), pp. 682-696

Abstract