Frédéric LANG




Researcher (Chargé de Recherche) in the CONVECS team, INRIA Grenoble Rhône-Alpes
Research topics: Compositional Verification, New Generation Formal Description Techniques
Contact:
    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: 2016/02/15 11:44:33