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