Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Runtime Verification of Object Invariants with Guarantee

Madhu Gopinathan and Sriram Rajamani

Details

Publication typeInproceedings
Published in8th workshop on Runtime Verification (RV)
> Publications > Runtime Verification of Object Invariants with Guarantee