Skip to Main content Skip to Navigation
Reports

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

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

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⟩

Share

Metrics

Record views

195