The SLAM Project: Debugging System Software via Static Analysis
Presented as part of the
2002 HCSS conference
.
License:
Creative Commons 2.5
Thomas Ball
Sriram Rajamani
Other available formats:
The SLAM Project: Debugging System Software via Static Analysis
Switch to normal viewer
Switch to experimental viewer
