skip to main content
Show Results with:

StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java

Chimento, Jesús Mauricio et al.

Lecture notes in computer science. Number 9333 (2015); pp 297-305 -- Springer

Check library holdings

Searching Remote Databases, Please Wait