Construction de programmes parallèles en Coq avec des homomorphismes de listes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015
No file

Dates and versions

hal-01158137 , version 1 (29-05-2015)

Identifiers

  • HAL Id : hal-01158137 , version 1

Cite

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⟩
90 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More