Xavier Leroy

Inventaire Photographique et G

Inventaire Photographique et Genealogique de Trentemoult et Vertou

2017

Proceedings of the 2015 Confer

Proceedings of the 2015 Conference on Certified Programs and Proofs

2015

Vie quotidienne des marins nan

Vie quotidienne des marins nantais au XIXe

2015

Program Logics for Certified Compilers

2014

Conference Record of Popl 2004 : The 31st Acm Sigplan-Sigact Symposium on Principles of Programming Languages

2004