Using dependent types to certify the safety of assembly code (2005)

Cached

Download Links

by Matthew Harren , George C. Necula
Venue:In SAS’05
Citations:6 - 1 self