Inventaire Photographique et Genealogique de Trentemoult et VertouXavier Leroy · First published 2017Open the Tome
Chercher sa voieLucette Colin, Anissa Ben Hamouda, Delphine Leroy, Joel Xavier, Anna Royon-Weigelt · First published 2016Open the Tome
Proceedings of the 2015 Conference on Certified Programs and ProofsXavier Leroy · First published 2015Open the Tome
Program Logics for Certified CompilersAndrew W. Appel, Xavier Leroy, Robert Dockins, Lennart Beringer, Sandrine Blazy · First published 2014Open the Tome
Conference Record of Popl 2004 : The 31st Acm Sigplan-Sigact Symposium on Principles of Programming LanguagesXavier Leroy · First published 2004Open the Tome
