The SLAM Project: Debugging System Software via Static Analysis

pdf

Presented as part of the 2002 HCSS conference.

  • Microsoft Research
  • Industry
  • Presentation
  • HCSS '02
  • HCSS 2002
Submitted by William Martin on Tue, 09/13/2011 - 16:32