Communication Dans Un Congrès
Année : 2014
Frédéric Loulergue : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00966632
Soumis le : jeudi 27 mars 2014-02:18:38
Dernière modification le : vendredi 24 mars 2023-14:52:58
Dates et versions
Identifiants
- HAL Id : hal-00966632 , version 1
Citer
Frédéric Loulergue, Julien Tesson. Certified Parallel Program Calculation in Coq: A Tutorial. International Conference on High Performance Computing and Simulation (HPCS), 2014, Bologna, Italy. ⟨hal-00966632⟩
141
Consultations
0
Téléchargements