Leroy, Xavier
[Verfasser:in]
;
Association for Computing Machinery-Digital Library,
ACM Special Interest Group on Programming Languages,
ACM Special Interest Group on Algorithms and Computation Theory
Proceedings of the 2015 Conference on Certified Programs and Proofs