Verification of Non-Functional Programs using Interpretations in Type Theory

Cached

Download Links

by Jean-Christophe Filliâtre
Citations:52 - 4 self