TY  - THES
DP  - http://www.theses.fr/2019ESAE0023
TI  - Une couverture combinant tests et preuves pour la vérification formelle
AU  - Le, Viet Hoang
A3  - Wiels, Virginie; Signoles, Julien
PY  - 2019
N1  - Thèse de doctorat Informatique et Télécommunications Toulouse, ISAE 2019
N1  - 2019ESAE0023
UR  - http://www.theses.fr/2019ESAE0023/document
ER  -