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