An Explicit Polymorphic Type System for Verifying Untrusted Low-Level Codes (2000)

Cached

Download Links

by Jaeyoun Chung
Citations:2 - 0 self