Communication Dans Un Congrès
Année : 2015
Frédéric Loulergue : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01158137
Soumis le : vendredi 29 mai 2015-16:21:27
Dernière modification le : vendredi 24 mars 2023-14:53:00
Dates et versions
Identifiants
- HAL Id : hal-01158137 , version 1
Citer
Frédéric Loulergue. Construction de programmes parallèles en Coq avec des homomorphismes de listes. 14èmes journées Approches Formelles dans l'Assistance au Développement Logiciel (AFADL), 2015, Bordeaux, France. ⟨hal-01158137⟩
Collections
90
Consultations
0
Téléchargements