Deductive runtime certification (2004)

by K Arkoudas, M Rinard
Venue:In Proceedings of the 2004 Workshop on Runtime Verification