Calcul de programmes parallèles avec Coq

Frédéric Loulergue 1
1 PaMDA
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
Type de document :
Autre publication
Cours à l'Ecole des Jeunes Chercheurs en Programmation (EJCP). 2014
Liste complète des métadonnées

https://hal.inria.fr/hal-00966633
Contributeur : Frédéric Loulergue <>
Soumis le : jeudi 27 mars 2014 - 02:25:17
Dernière modification le : mardi 28 octobre 2014 - 18:21:02

Identifiants

  • HAL Id : hal-00966633, version 1

Collections

Citation

Frédéric Loulergue. Calcul de programmes parallèles avec Coq. Cours à l'Ecole des Jeunes Chercheurs en Programmation (EJCP). 2014. 〈hal-00966633〉

Partager

Métriques

Consultations de la notice

71