David Mentré
发表
Thibaut Girka,
David Mentré,
Yann Régis-Gianas,
2015,
ATVA.
David Mentré,
Thierry Priol,
Daniel Le Métayer,
2000,
2000 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems.
David Mentré,
Benoît Boyer,
Shun Hinatsu,
2019,
NBiS.
Claude Marché,
Jean-Christophe Filliâtre,
David Mentré,
2012,
ABZ.
Thibaut Girka,
David Mentré,
Yann Régis-Gianas,
2017,
PPDP.
David Mentré,
Benoit Baudry,
Erwan Bousse,
2012
.
Nikolai Kosmatov,
David Mentré,
Bruno Marre,
2018,
ISoLA.
Valérie Issarny,
David Mentré,
Malika Boulkenafed,
2002
.
David Mentré,
Thierry Priol,
Daniel Le Métayer,
1999
.
David Mentré,
Denis Cousineau,
Hiroaki Inoue,
2019,
F-IDE@FM.
David Mentré,
Denis Cousineau,
Eric Lavillonnière,
2019,
TAP@FM.
David Mentré,
2016,
ABZ.
Claude Marché,
David Mentré,
David Delahaye,
2014,
ABZ.
Thibaut Girka,
David Mentré,
Yann Régis-Gianas,
2016
.
Denis Cousineau,
Claude Marché,
David Mentré,
2021,
International Workshop on Formal Methods for Industrial Critical Systems.