The SLAM project: debugging system software via static analysis

by Thomas Ball , Sriram K. Rajamani
Venue:SIGPLAN Not
Citations:370 - 12 self

Document Versions

The SLAM project: debugging system software via static analysis –Thomas Ball, Sriram K. Rajamani — SIGPLAN Not