Program Verification
Persons involved
- Marius Bozga (CNRS Engineer)
- Radu Iosif (CNRS Researcher)
- Yassine Lakhnech (Professor Universite Joseph Fourrier)
- Adam Rogalewicz (Post-doc)
Close collaborators
- Ahmed Bouajjani (LIAFA Paris 7 University, F)
- Peter Habermehl (LIAFA Paris 7, on leave at LSV, ENS Cachan, F)
- Tomas Vojnar (Brno University of Technology, CZ)
- Arnaud Sangnier (LSV, ENS Cachan, F)
