Skip to Main content Skip to Navigation
New interface


...
tel-03172212v1  Theses
Vincent Leildé. Aide au diagnostic de vérification formelle de systèmes
Génie logiciel [cs.SE]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2019. Français. ⟨NNT : 2019ENTA0011⟩