Article Dans Une Revue
Gazette des Mathématiciens
Année : 2014
Pierre-Louis Curien : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01114035
Soumis le : vendredi 6 février 2015-19:52:03
Dernière modification le : vendredi 24 mars 2023-14:53:00
Dates et versions
Identifiants
- HAL Id : hal-01114035 , version 1
Citer
Pierre-Louis Curien. Formalisation mathématique, certification logicielle, même combat. Gazette des Mathématiciens, 2014, 142, pp.83-86. ⟨hal-01114035⟩
Collections
92
Consultations
0
Téléchargements