Communication Dans Un Congrès
Année : 2014
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 : jeudi 10 avril 2025-10:25:21
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⟩
242
Consultations
0
Téléchargements