Project leader is Sébastien Gérard - CEA LIST
Developers for Papyrus are:
Matteo Bordin - Adacore
Arnaud Cuccuru - CEA LIST
Frank Davidsen - University of Oslo
Cédric Dumoulin - LIFL
François Lagarde - CEA LIST
Chokri Mraidha - CEA LIST
Sylvain Robert - CEA LIST
Rémi Schnekenburger - CEA LIST
David Servat - CEA LIST
Yann Tanguy - CEA LIST
Patrick Tessier- CEA LIST |
Contributors