GandALF 2019
The Tenth International Symposium on Games, Automata, Logics, and Formal Verification
2 - 3 September 2019, Bordeaux, France
Crédit Photo : Thomas Sanson - Mairie de Bordeaux
|
|
|
Committees > Organizing CommitteeLaBRI members: Auriane Dantes Katel Guerin Frédéric Herbreteau Jérôme Leroux Vincent Penelle Gabriele Puppis Grégorie Sutre |
| Online user: 28 |
|
