Runtime Verification of Object Invariants with Guarantee

rv08.pdf
PDF file

In  8th workshop on Runtime Verification (RV)

Details

TypeInproceedings
> Publications > Runtime Verification of Object Invariants with Guarantee