DMCA

Dependent Types, Theorem Proving, and Applications for a Verifying Compiler (2005)

Cached

Download Links

by Yves Bertot , Laurent Théry
Citations:1 - 0 self