DMCA

A Verified Information-Flow Architecture (2013)

by Arthur Azevedo de Amorim , Nathan Collins , André DeHon , Delphine Demange , Cătălin Hritcu , David Pichardie , Benjamin C. Pierce , Randy Pollack, Andrew Tolmach
Citations:17 - 5 self