Automated Model−based Verification of Object−Oriented Code
J. S. Ostroff‚ C. Wang‚ E. Kerfoot and F. A. Torshizi
Details
| Book Title |
Verified Software: Theories‚ Tools‚ Experiments (VSTTE Workshop‚ Floc 2006) |
| Publisher |
Microsoft Research MSR−TR−2006−117 |
| Year |
2006 |
Links
Related pages
|
People |