Trusted Software within FoCaL - Archive ouverte HAL
Communication Dans Un Congrès Année : 2008
Fichier non déposé

Dates et versions

hal-01125667 , version 1 (06-03-2015)
hal-01125667 , version 2 (11-12-2015)

Identifiants

  • HAL Id : hal-01125667 , version 1

Citer

P. Ayrault, Matthieu Carlier, David Delahaye, Catherine Dubois, Damien Doligez, et al.. Trusted Software within FoCaL. CESAR 2008, Rennes, décembre, Dec 2008, X, France. pp.142-157. ⟨hal-01125667v1⟩
348 Consultations
113 Téléchargements

Partager

More