Rapport
(Rapport Technique)
Année : 2015
David Nowak : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01122870
Soumis le : mercredi 4 mars 2015-16:33:44
Dernière modification le : mardi 2 avril 2024-12:58:03
Dates et versions
Identifiants
- HAL Id : hal-01122870 , version 1
Citer
Pierre Castéran, Jacques Garrigue, David Nowak. NII Shonan school on Coq. [Technical Report] 2014-9, National Institute of Informatics. 2015, pp.6. ⟨hal-01122870⟩
Collections
118
Consultations
0
Téléchargements