Formalisation mathématique, certification logicielle, même combat

Pierre-Louis Curien 1, 2
2 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
Document type :
Journal articles
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01114035
Contributor : Pierre-Louis Curien <>
Submitted on : Friday, February 6, 2015 - 7:52:03 PM
Last modification on : Friday, January 4, 2019 - 5:33:25 PM

Identifiers

  • HAL Id : hal-01114035, version 1

Citation

Pierre-Louis Curien. Formalisation mathématique, certification logicielle, même combat. Gazette des Mathématiciens, Société Mathématique de France, 2014, 142, pp.83-86. 〈hal-01114035〉

Share

Metrics

Record views

168