Reference

2005
Boogie: A Modular Reusable Verifier for Object-Oriented Programs
FMCO 2005: International Symposium on Formal Methods for Components and Objects

BibTeX

@string{FMCO = "International Symposium on Formal Methods for Components and Objects (FMCO)"}
@inproceedings{boogie-fmco05,
  author = {Mike Barnett and Bor-Yuh Evan Chang and Robert DeLine and Bart Jacobs and K. Rustan M. Leino},
  title = {
            {Boogie}: A Modular Reusable Verifier for Object-Oriented Programs},
  booktitle = FMCO,
  year = {2005},
  pages = {364-387},
  
}