Rewriting-based Techniques for Runtime Verification

by Grigore Rosu , Klaus Havelund
Citations:44 - 1 self