A Rewriting-based Approach to Trace Analysis (2002)

by Klaus Havelund , Kestrel Technology
Venue:Automated Software Engineering
Citations:3 - 3 self