Eric Vétillard
发表
Jean-Jacques Vandewalle,
Eric Vétillard,
J. Vandewalle,
1998,
CARDIS.
Eric Vétillard,
Anthony Ferrari,
Eric Vétillard,
2010,
CARDIS.
Martin Hofmann,
Benjamin Grégoire,
Gilles Barthe,
2006,
TGC.
Erik Poll,
Lennart Beringer,
Martin Hofmann,
2008
.
Eric Vétillard,
1992,
JFPL.
Eric Vétillard,
1996,
JFPLC.
Eric Vétillard,
1994,
ICLP Workshop: Verification and Analysis of Logic Languages.
Eric Vétillard,
1995,
JFPLC.
Eric Vétillard,
1994,
JFPLC.
Eric Vétillard,
2021,
IEEE Security & Privacy.