Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou. Beyond Bug-Finding: Sound Program Analysis for Linux. In Galen C. Hunt, editor, Proceedings of HotOS 07: 11th Workshop on Hot Topics in Operating Systems, May 7-9, 2005, San Diego, California, USA. USENIX Association, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.