Our research
Connections
Careers
About us
Microsoft Translator
|
All
Downloads
Events
Groups
News
People
Projects
Publications
Videos
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
Programming Languages and Tools
Share
>
Publications
>
Runtime Verification of Object Invariants with Guarantee
