Jackie Wang: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
Automated Model-Based Verification of Object-Oriented Code
Jonathan Ostroff et al.
In Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE) 2006.
Details
|
BibTeX
|
|
[2]
|
ES-Verify: A Tool for Automated Model-based Verification of Object-Oriented Code
Jonathan Ostroff et al.
In Formal Methods 2006
Poster.
Details
|
BibTeX
|
|
