Reference

2005
Inferring Object Invariants
AIOOL 2005: International Workshop on Abstract Interpretation of Object-Oriented Languages

BibTeX

@string{AIOOL = "International Workshop on Abstract Interpretation of Object-Oriented Languages (AIOOL)"}
@inproceedings{objinv-aiool05,
  author = {Bor-Yuh Evan ChangK. Rustan M. Leino},
  title = {Inferring Object Invariants},
  booktitle = AIOOL,
  year = {2005},
  pages = {63-74},
  
}