Program Analysis via Graph Reachability (1997)

by Thomas Reps
Citations:103 - 8 self