Matthew Harren, George C. Necula. Using Dependent Types to Certify the Safety of Assembly Code. In Chris Hankin, Igor Siveroni, editors, Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings. Volume 3672 of Lecture Notes in Computer Science, pages 155-170, Springer, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.