Using Dependent Types to Certify the Safety of Assembly Code - Sciweavers

39

click to vote

more SAS 2005 ...

www.cs.berkeley.edu

Tweet