Rewriting-based techniques for runtime verification (0)

by G Roşu, K Havelund
Venue:Automated Software Engg