| [1] | Jonathan Ostroff, Chen wei Wang, Eric Kerfoot, and Faraz A. Torshizi. Automated model-based verification of object-oriented code. In Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE), 2006. |
| [2] | Jonathan Ostroff, Chen wei Wang, Eric Kerfoot, and Faraz A. Torshizi. ES-Verify: A tool for automated model-based verification of object-oriented code. In Formal Methods 2006. Poster. |
This file has been generated by bibtex2html 1.85.