The SLAM project: debugging system software via static analysis
by
Thomas Ball
,
Sriram K. Rajamani
| Venue: | SIGPLAN Not |
| Citations: | 317 - 9 self |

