Frédéric LANG




Research fellow (Chargé de Recherche) in the CONVECS team, INRIA Grenoble Rhône-Alpes
Research topics: Compositional Verification, New Generation Formal Description Techniques
Contact:
    Office D108
    INRIA Grenoble Rhône-Alpes
    655, avenue de l'Europe
    Montbonnot Saint-Martin
    F-38334 SAINT-ISMIER CEDEX
    FRANCE

    Phone: +33 (0)4 76 61 55 11
    Fax: +33 (0)4 76 61 52 52
    E-mail: Frederic.Lang@inria.fr

 Contents  Links


Last updated: 2021/09/02 10:42:48