@inproceedings{espec06,
  author = "J. S. Ostroff and C. Wang and E. Kerfoot and F. A. Torshizi",
  booktitle = "Verified Software: Theories, Tools, Experiments (VSTTE Workshop, Floc 2006)",
  publisher = "Microsoft Research MSR-TR-2006-117",
  title = "Automated Model-based Verification of Object-Oriented Code",
  year = "2006",
}