Skip to Main content Skip to Navigation
Other publications

Calcul de programmes parallèles avec Coq

Frédéric Loulergue 1
1 PaMDA
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
Document type :
Other publications
Complete list of metadata

https://hal.inria.fr/hal-00966633
Contributor : Frédéric Loulergue <>
Submitted on : Thursday, March 27, 2014 - 2:25:17 AM
Last modification on : Monday, November 30, 2020 - 5:48:15 PM

Identifiers

  • HAL Id : hal-00966633, version 1

Collections

Citation

Frédéric Loulergue. Calcul de programmes parallèles avec Coq. 2014. ⟨hal-00966633⟩

Share

Metrics

Record views

94