Rewriting-based techniques for runtime verification (0)

by Grigore Ro¸su, Klaus Havelund
Venue:Automated Software Engg