Skip to Main content Skip to Navigation
Reports

Sûreté : de l'analyse à l'instrumentation et à la synthèse de code

Corinne Ancourt 1, 2
1 CRI - Centre de Recherche en Informatique
2 MINES ParisTech - École nationale supérieure des mines de Paris
Document type :
Reports
Complete list of metadata
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

Identifiers

  • HAL Id : hal-01254381, version 1

Collections

ENSMP | INSMI | ENSMP_CRI | PARISTECH | LARA | INSTITUT-TELECOM | PSL

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

197