Autre Publication Scientifique
Année : 2014
Frédéric Loulergue : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00966633
Soumis le : jeudi 27 mars 2014-02:25:17
Dernière modification le : samedi 25 juin 2022-10:12:31
Dates et versions
Identifiants
- HAL Id : hal-00966633 , version 1
Citer
Frédéric Loulergue. Calcul de programmes parallèles avec Coq. 2014. ⟨hal-00966633⟩
Collections
50
Consultations
0
Téléchargements