Accéder directement au contenu Accéder directement à la navigation
Rapport

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

Liste complète des métadonnées

https://hal-mines-paristech.archives-ouvertes.fr/hal-01254381
Contributeur : Claire Medrala <>
Soumis le : mardi 12 janvier 2016 - 10:53:16
Dernière modification le : jeudi 24 septembre 2020 - 16:36:02

Identifiants

  • 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⟩

Partager

Métriques

Consultations de la notice

185