✦ LIBER ✦

[Lecture Notes in Computer Science] Certified Programs and Proofs Volume 7679 || Producing Certified Functional Code from Inductive Specifications

✍ Scribed by Hawblitzel, Chris; Miller, Dale

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Cert

✍ Hawblitzel, Chris; Miller, Dale 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 690 KB

[Lecture Notes in Computer Science] Cert

✍ Hawblitzel, Chris; Miller, Dale 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 235 KB

[Lecture Notes in Computer Science] Type

✍ Berardi, Stefano; Coppo, Mario; Damiani, Ferruccio 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 205 KB

[Lecture Notes in Computer Science] Type

✍ Berardi, Stefano; Coppo, Mario; Damiani, Ferruccio 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 205 KB

[Lecture Notes in Computer Science] Type

✍ Geuvers, Herman; Wiedijk, Freek 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 217 KB

[Lecture Notes in Computer Science] Type

✍ Bezem, Marc; Groote, Jan Friso 📂 Article 📅 1993 🏛 Springer-Verlag ⚖ 734 KB