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

by T BALL, S K RAJAMANI
Venue:In Proceedings of the ACM Symposium on Principles of Programming Languages