Rewriting-based Techniques for Runtime Verification

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