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

by Y BERTOT, L THÉRY
Venue:in "1st IFIP TC 2/WG 2.3 Conference, on Verified Software: Theories, Tools, Experiments (VSTTE)", LNCS