[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - A Coq formal proof of the LaxMilgram theorem
Boldo, Sylvie, Clément, François, Faissole, Florian, Martin, Vincent, Mayero, MicaelaYear:
2017
Language:
english
DOI:
10.1145/3018610.3018625
File:
PDF, 212 KB
english, 2017