David Delahaye
发表
Alexandre Le Borgne,
David Delahaye,
Marianne Huchard,
2017,
SEKE.
David Delahaye,
Jean-Frédéric Étienne,
Véronique Donzeau-Gouge,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
David Delahaye,
David Delahaye,
2002,
LFM.
David Delahaye,
Catherine Dubois,
Karim Berkani,
2013,
Software & Systems Modeling.
David Delahaye,
Catherine Dubois,
Karim Berkani,
2015,
ArXiv.
David Delahaye,
2002,
TPHOLs.
David Delahaye,
Micaela Mayero,
2005,
Calculemus.
Guillaume Burel,
David Delahaye,
Guillaume Bury,
2019,
Journal of Automated Reasoning.
Damien Doligez,
David Delahaye,
Olivier Hermant,
2015
.
David Delahaye,
Jean-Frédéric Étienne,
Véronique Donzeau-Gouge,
2008,
Innovations in Systems and Software Engineering.
David Delahaye,
Virgile Prevosto,
Mathieu Jaume,
2005,
Tech. Sci. Informatiques.
David Delahaye,
Jean-Frédéric Étienne,
Véronique Donzeau-Gouge,
2008,
2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering.
David Delahaye,
D. Delahaye,
1999,
TYPES.
David Delahaye,
Catherine Dubois,
Karim Berkani,
2011,
SEFM.
David Delahaye,
Jean-Frédéric Étienne,
Véronique Donzeau-Gouge,
2006,
ReMo2V.
David Delahaye,
Micaela Mayero,
2005,
J. Symb. Comput..
Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant
pdf
David Delahaye,
Micaela Mayero,
D. Delahaye,
2005,
ArXiv.
François Pessaux,
Damien Doligez,
Charles Morisset,
2008
.
David Delahaye,
Nicolas Bertaux,
2009,
MLPA '09.
Damien Doligez,
David Delahaye,
Olivier Hermant,
2013,
LPAR.
David Delahaye,
Micaela Mayero,
2001,
JFLA.
David Delahaye,
Catherine Dubois,
2014
.
David Delahaye,
Virgile Prevosto,
Mathieu Jaume,
2005
.
David Delahaye,
Catherine Dubois,
Karim Berkani,
2012,
IJCAR.
David Delahaye,
Simon Cruanes,
Guillaume Bury,
2018,
ABZ.
Alexandre Le Borgne,
David Delahaye,
Marianne Huchard,
2017
.
David Delahaye,
Catherine Dubois,
Pierre-Nicolas Tollitte,
2012,
CPP.
Jacques Calmet,
David Delahaye,
Alan P. Sexton,
2010
.
David Andreu,
David Delahaye,
Vincent Iampietro,
2020,
PNSE@Petri Nets.
David Delahaye,
Simon Cruanes,
Guillaume Bury,
2018
.
Stephan Merz,
Leslie Lamport,
Arthur Charguéraud,
2007
.
François Pessaux,
Damien Doligez,
Charles Morisset,
2008
.
David Delahaye,
Jean-Frédéric Étienne,
Véronique Donzeau-Gouge,
2008,
2008 Requirements Engineering and Law.
David Delahaye,
D. Delahaye,
2000,
LPAR.
David Delahaye,
Guillaume Bury,
2015,
TABLEAUX.
Damien Doligez,
David Delahaye,
Guillaume Bury,
2015,
LPAR.
Damien Doligez,
David Delahaye,
Richard Bonichon,
2007,
LPAR.
Clémentine Nebut,
David Delahaye,
Marianne Huchard,
2019,
ICCS.
Alexandre Le Borgne,
David Delahaye,
Marianne Huchard,
2018,
SEKE.
David Delahaye,
Catherine Dubois,
Jean-Frédéric Étienne,
2007,
TPHOLs.
David Delahaye,
Mélanie Jacquel,
D. Delahaye,
2015,
ArXiv.
David Delahaye,
2010
.
James H. Davenport,
Jacques Calmet,
David Delahaye,
2010,
AISC/MKM/Calculemus.
Claude Marché,
David Mentré,
David Delahaye,
2014,
ABZ.
David Delahaye,
Jean-Frédéric Étienne,
Véronique Donzeau-Gouge,
2006,
FM.
Damien Doligez,
David Delahaye,
Olivier Hermant,
2014
.
David Delahaye,
Stephan Schulz,
Mélanie Jacquel,
2012
.
Guillaume Burel,
Gilles Dowek,
David Delahaye,
2016
.
Damien Doligez,
David Delahaye,
Olivier Hermant,
2013
.