People

RT-Proofs is a joint effort between INRIA, MPI-SWS, Onera, TU Braunschweig and Verimag, specifically the following individuals.

Inria Grenoble Rhône-Alpes / LIG (SPADES team)
MPI-SWS
Onera
  • Marc Boyer, Pierre Roux
TU Braunschweig
Verimag (Pacss team)

Comments are closed.