Runtime Verification (RV’01, RV’02 (2001)

by K Havelund, G Ros¸u
Venue:ENTCS