The SLAM project: debugging system software via static analysis (0)

by T Ball, S Rajamani
Venue:in: Proc. 29th Annu. ACM Symp. Principles of Programming Languages