Contributors

Aristomenis-Dionysios Papadopoulos (INRIA & LSV)
Franck Slama (INRIA & LSV)
Emilio Gallego (Mines ParisTech)
Frédéric Blanqui (INRIA & LSV)
Rodolphe Lepigre (MPI-SWS)
Michael Färber (INRIA & LSV)