Martín Abadi, K. Rustan M. Leino
A Logic of Object-Oriented Programs
TAPSOFT, 1997.
@inproceedings{TAPSOFT-1997-AbadiL, author = "Martín Abadi and K. Rustan M. Leino", booktitle = "{Proceedings of the Seventh International Joint Conference on Theory and Practice of Software Development}", doi = "10.1007/BFb0030634", isbn = "3-540-62781-2", pages = "682--696", publisher = "{Springer}", title = "{A Logic of Object-Oriented Programs}", year = 1997, }