ES−Verify: A Tool for Automated Model−based Verification of Object−Oriented Code
Jonathan Ostroff‚ Chen−wei Wang‚ Eric Kerfoot and Faraz A. Torshizi
Book Title
Formal Methods 2006
Note
Poster
Jonathan Ostroff‚ Chen−wei Wang‚ Eric Kerfoot and Faraz A. Torshizi