Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs
Book title Buchtitel
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs
Publisher Herausgeber
ACM Digital Library
Place of publishing Erscheinungsort
New York
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Grimm, Niklas ; Maillard, Kenji ; Fournet, Cedric ; Hritcu, Catalin ; Maffei, Matteo ; Protzenko, Jonathan ; Ramananandro, Tahina ; Swamy, Nikhil ; Zanella-Béguelin, Santiago | A monadic framework for relational verification: applied to information security, program equivalence, and optimizations | Konferenzbeitrag Inproceedings  | 2018 |