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 : samedi 28 décembre 2024-03:07:02
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⟩
142
Consultations
0
Téléchargements