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]
No references recorded for this publication.
No citations of this publication recorded.