Identifiant pérenne de la notice : 253123542
Notice de type
Personne
Aide au diagnostic de vérification formelle de systèmes / Vincent Leildé ; sous la
direction de Philippe Dhaussy et Vincent Ribaud. Thèse de doctorat : Informatique
: Brest, École nationale supérieure de techniques avancées Bretagne : 2019