Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs

Book title Buchtitel

Publisher Herausgeber

ACM Digital Library

Place of publishing Erscheinungsort

New York

Results 1-1 of 1 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	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