University of Oxford Branding

OXFORD UNIVERSITY COMPUTING LABORATORY

ES-Verify: A Tool for Automated Model-based Verification of Object-Oriented Code

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

info

book title	Formal Methods 2006
note	Poster

links

related pages

people

Random Image

Random Image

Random Image