Olivier Hainque
发表
Laurent Pautet,
Eric Nassor,
Olivier Hainque,
1999,
World Congress on Formal Methods.
Robert Dewar,
Dirk Craeynest,
Philippe Waroquiers,
2002,
Ada-Europe.
Cyrille Comar,
Matteo Bordin,
Jérôme Guitton,
2010
.
Olivier Hainque,
2005
.
Laurent Pautet,
Samuel Tardieu,
Olivier Hainque,
1997,
Ada-Europe.
Cyrille Comar,
Francisco Javier Miranda González,
Olivier Hainque,
2006
.
Cyrille Comar,
Thomas Quinot,
Olivier Hainque,
2012
.
Julien Delange,
Laurent Pautet,
Jérôme Hugues,
2010
.
Cyrille Comar,
Thomas Quinot,
Olivier Hainque,
2011
.