Deductive Runtime Certification (2004)

by Konstantine Arkoudas , Martin Rinard
Venue:In Proceedings of the 2004 Workshop on Runtime Verification
Citations:11 - 8 self