@inproceedings{Ostroff*2006:ESVerify,
  title = "{ES-Verify}: A Tool for Automated Model-based Verification of Object-Oriented Code",
  author = "Jonathan Ostroff and Chen-wei Wang and Eric Kerfoot and Faraz A. Torshizi",
  booktitle = "Formal Methods 2006",
  note = "Poster",
}