Static Driver Verifier: Finding Device Driver Bugs at Compile-time Download pdf Presented as part of the 2004 HCSS conference. Tags: Microsoft Research Industry Presentation HCSS '04 HCSS 2004 License: CC-2.5 Submitted by Anonymous on Wed, 08/24/2011 - 17:50
