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