Sites Inria

There are 1 Results with the keyword : "Compositional verification"

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

24/08/2015

Place : Paris-Rocquencourt - Amphi Turing du bâtiment 1 - 10h30

Guest(s) : Tahina Ramananandro

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

Top