Automated Model-Based Verification of Object-Oriented Code

Jonathan Ostroff, Chen-wei Wang, Eric Kerfoot and Faraz A. Torshizi

book title	Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE)
year	2006

people

Jackie Wang