Share this page
Live Favorites
Digg
del.icio.us
ma.gnolia
Newsvine
Facebook
Projects
Publications
People
Downloads
Home
Our Research
Collaboration
Careers
Worldwide Labs
Research Areas
Research Groups
Project Tuva Enhanced Video Player
Watch the Feynman Lectures
>
Publications
>
Runtime Verification of Object Invariants with Guarantee
Runtime Verification of Object Invariants with Guarantee
Madhu Gopinathan and Sriram Rajamani
March 2008
PDF file
In:
8th workshop on Runtime Verification (RV)
Details
Type:
Inproceedings
Related People
Sriram Rajamani
Related Groups
Rigorous Software Engineering
