@inproceedings{Ostroff*2006:Automated,
  title = "Automated Model-Based Verification of Object-Oriented Code",
  author = "Jonathan Ostroff and Chen-wei Wang and Eric Kerfoot and Faraz A. Torshizi",
  year = "2006",
  booktitle = "Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE)",
}