Verification of Non-Functional Programs using Interpretations in Type Theory

Cached

Download Links

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