Rewriting-based techniques for runtime verification (0)

by G Rosu, K Havelund
Venue:Autom. Softw. Eng