Home
DCC eCatalog
Amy_P.__Felty
A semantic model of types and machine instructions for proof-carrying code
