Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
Book title Buchtitel
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
Editor Herausgeber_in
Publisher Herausgeber
ACM
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kotelnikov, Evgenii ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei ; Avigad, Jeremy ; Chlipala, Adam | The vampire and the FOOL | Konferenzbeitrag Inproceedings  | 2016 |