Rewriting-Based Techniques for Runtime Verification (0)

by G Ro¸su, K Havelund
Venue:Automated Software Engineering