Warning - the bibtex entry below may be invalid: 
Missing 'year' field 
@inproceedings{Ostroff*2006:ESVerify,
  author = "Jonathan Ostroff and Chen-wei Wang and Eric Kerfoot and Faraz A. Torshizi",
  booktitle = "Formal Methods 2006",
  note = "Poster",
  title = "{ES-Verify}: A Tool for Automated Model-based Verification of Object-Oriented Code",
}