Thomas Polacsek. Vérification, validation, certification : approches formelles et informelles pour établir la correction des artefacts et des logiciels. (Verification, validation, certification: formal and informal approaches to establish the correction of artefacts and software). 2019. [doi]
@book{Polacsek19,
title = {Vérification, validation, certification : approches formelles et informelles pour établir la correction des artefacts et des logiciels. (Verification, validation, certification: formal and informal approaches to establish the correction of artefacts and software)},
author = {Thomas Polacsek},
year = {2019},
url = {https://tel.archives-ouvertes.fr/tel-02283804},
researchr = {https://researchr.org/publication/Polacsek19},
cites = {0},
citedby = {0},
}