6,140 followers
#Publication - STARVOORS: A Tool for Combined Static and Runtime Verification of Java | We present the tool StaRVO… http://t.co/zpuDURpXmy
#Publication - STARVOORS: A Tool for Combined Static and Runtime Verification of Java | We present the tool StaRVO… http://t.co/zpuDURpXmy