Automated Model−Based Verification of Object−Oriented Code
Jonathan Ostroff‚ Chen−wei Wang‚ Eric Kerfoot and Faraz A. Torshizi
Book Title
Workshop on Verified Software: Theory‚ Tools‚ and Experiments (VSTTE)
Year
2006
Jonathan Ostroff‚ Chen−wei Wang‚ Eric Kerfoot and Faraz A. Torshizi