D. Déharbe
发表
D. Déharbe,
P. Fontaine,
B. W. Paleo,
2011,
PxTP.
Ivan Saraiva Silva,
D. Déharbe,
R. Soares,
2005
.
Silvio Ranise,
D. Déharbe,
Abdessamad Imine,
2004
.
Silvio Ranise,
David Déharbe,
Silvio Ranise,
2002
.
Valério Medeiros Júnior,
D. Déharbe,
A. Moreira,
2008
.
D. Déharbe,
A. Moreira,
B. Dantas,
2008
.
D. Déharbe,
A. Moreira,
B. Gomes,
2009
.
D. Déharbe,
A. Moreira,
A. S. Costa,
2001
.
Stephan Merz,
D. Déharbe,
P. Fontaine,
2009
.
Christophe Ringeissen,
Anamaria Martins Moreira,
David Déharbe,
2004,
J. Log. Algebraic Methods Program..
D. Déharbe,
P. Fontaine,
C. Areces,
2013
.
D. Déharbe,
P. Fontaine,
C. Areces,
2013
.
Stephan Merz,
Bruno Woltzenlogel Paleo,
Pascal Fontaine,
2011,
CADE.
Silvio Ranise,
David Déharbe,
Jorgiano Vidal,
2008,
Journal of the Brazilian Computer Society.
Silvio Ranise,
David Déharbe,
Jorgiano Vidal,
2007,
SBMF.
Anamaria Martins Moreira,
David Déharbe,
Bruno Emerson Gurgel Gomes,
2007,
SBMF.
Sérgio Vale Aguiar Campos,
David Déharbe,
Newton José Vieira,
2005,
SBMF.
David Déharbe,
D. Déharbe,
2003,
Logic for Concurrency and Synchronisation.
Christophe Ringeissen,
Anamaria Martins Moreira,
David Déharbe,
2002,
RTA.
D. Deharbe,
J.M.B. Vidal,
D. Déharbe,
2001,
Symposium on Integrated Circuits and Systems Design.
Anamaria Martins Moreira,
David Déharbe,
D. Déharbe,
1999,
World Congress on Formal Methods.
Anamaria Martins Moreira,
David Déharbe,
D. Déharbe,
1997,
CHARME.
Anamaria Martins Moreira,
David Déharbe,
Bruno Emerson Gurgel Gomes,
2010,
ASM.
Pascal Fontaine,
David Déharbe,
Thomas Bouton,
2009,
CADE.
Pascal Fontaine,
David Déharbe,
Diego Caminha Barbosa De Oliveira,
2008,
Sci. Comput. Program..
Stephan Merz,
David Déharbe,
Stephan Merz,
2015,
FACS.
Dominique Borrione,
David Déharbe,
Ayman M. Wahba,
1996,
FMCAD.
Christophe Ringeissen,
Pascal Fontaine,
Silvio Ranise,
2006,
ICTAC.
Pascal Fontaine,
David Déharbe,
Thomas Bouton,
2010,
PAAR@IJCAR.
Silvio Ranise,
David Déharbe,
Silvio Ranise,
2009,
International Journal on Software Tools for Technology Transfer.
Silvio Ranise,
Abdessamad Imine,
David Déharbe,
2004,
AISC.
Silvio Ranise,
David Déharbe,
Silvio Ranise,
2003,
First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..
Silvio Ranise,
David Déharbe,
Silvio Ranise,
2003,
FTP.
Marcel Vinícius Medeiros Oliveira,
David Déharbe,
Luís C. D. S. Cruz,
2011,
SBMF.
Pascal Fontaine,
David Déharbe,
Laurent Voisin,
2014,
Sci. Comput. Program..
David Déharbe,
Thierry Lecomte,
Étienne Prun,
2017,
SBMF.
Jean-François Couchot,
Alain Giorgetti,
Frédéric Dadeau,
2004,
WMF.
Jean-François Couchot,
Alain Giorgetti,
Silvio Ranise,
2003,
J. Braz. Comput. Soc..
Dominique Borrione,
David Déharbe,
D. Déharbe,
1995,
CHARME.
D. Déharbe,
B. W. Paleo,
Pascal Fontaine,
2011
.
Sylvain Conchon,
Aina Niemetz,
Matthias Heizmann,
2019,
J. Satisf. Boolean Model. Comput..
Pascal Fontaine,
David Déharbe,
Laurent Voisin,
2012,
ABZ.
David Déharbe,
Sergio Medeiros,
D. Déharbe,
2006,
SBCCI '06.