Automated Model-based Verification of Object-Oriented Code
J. S. Ostroff, C. Wang, E. Kerfoot and F. A. Torshizi infobook title | Verified Software: Theories, Tools, Experiments (VSTTE Workshop, Floc 2006) |
publisher | Microsoft Research MSR-TR-2006-117 |
year | 2006 |
links
BibTeX
Download (pdf)
related pages
|
