Contributors

Matthias Güdemann, Systerel
Pascal Poizat, Université Paris Ouest Nanterre la Défense, LIP6 UMR 7606 CNRS
Gwen Salaün, Grenoble INP, LIG (main contact)
Lina Ye, CentraleSupélec, LRI

Grenoble INP
LIG
LIP6

These pages are built on top of: