|
Research fellow (Chargé de Recherche Hors Classe) in the CONVECS team, Centre Inria de l'Université Grenoble Alpes |
|
|
Research topics: Compositional Verification, New Generation Formal Description Techniques |
|
|
Contact:
Centre Inria de l'Université Grenoble Alpes 655, avenue de l'Europe Montbonnot Saint-Martin F-38334 SAINT-ISMIER CEDEX FRANCE Phone: +33 (0)4 76 61 55 11 E-mail: Frederic.Lang@inria.fr |
Contents