https://hal-mines-paristech.archives-ouvertes.fr/hal-01254381
Contributor : Claire Medrala <>
Submitted on : Tuesday, January 12, 2016 - 10:53:16 AM Last modification on : Thursday, September 24, 2020 - 4:36:02 PM
Corinne Ancourt. Sûreté : de l'analyse à l'instrumentation et à la synthèse de code. [Travaux universitaires] A/597/CRI, Centre de recherche en informatique - MINES ParisTech - PSL Research University. 2015. ⟨hal-01254381⟩