K. Rustan M. Leino
K. Rustan M. Leino.
Recursive Object Types in a Logic of Object-Oriented Programs.
Nordic Journal of Computing
, 5(4):330-360, Winter 1998.
Abstract, References, etc.
Shortcuts:
Nordic Journal of Computing homepage
Bibliography top level
Nordic Journal of Computing Author Index
Search the HBP database