About the authors

Main authors

André Seznec
IRISA
Projet CAPS
Campus de Beaulieu
35042 RENNES Cedex
FRANCE
email: seznec [at] irisa [dot] fr

Nicolas Sendrier
Projet CODES
INRIA Rocquencourt, B.P. 105
78153 Le Chesnay Cedex, FRANCE
email: nicolas [dot] sendrier [at] inria [dot] fr

Current maintainer

Olivier Rochecouste
IRISA
Projet CAPS
Campus de Beaulieu
35042 RENNES Cedex
FRANCE
email: orocheco [at] irisa [dot] fr