Frédéric LANG




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:
    Office D108
    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  Links


Last updated: 2023/12/20 15:19:15