Jump to Content

A Logic of Object-Oriented Programs

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

Abstract

Research Areas