 | 's Homepage |
Links
Groups:- Laboratoire d'Informatique Théorique et Quantique, Université de Montréal
- Laboratoire Spécification et Vérification, ENS Cachan
- Wilhelm-Schickard-Institut für Informatik, Universität Tübingen
- Laboratoire Recherche et Développement, ÉPITA
- Laboratoire de Recherche en Informatique, Université Paris-Sud & CNRS
- INRIA Centre Saclay
