A Logic of Object-Oriented Programs

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

Abstract

Research Areas