Compte-rendu de fin de projet ANR-15-CE25-0008 "VOCaL" - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2021

Compte-rendu de fin de projet ANR-15-CE25-0008 "VOCaL"

Fichier principal
Vignette du fichier
compte_rendu_14.pdf (219.51 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03326775 , version 1 (01-09-2021)

Identifiers

  • HAL Id : hal-03326775 , version 1

Cite

Jean-Christophe Filliâtre. Compte-rendu de fin de projet ANR-15-CE25-0008 "VOCaL" : Programme CE25 2015. [Rapport de recherche] LMF - Laboratoire Méthodes Formelles. 2021. ⟨hal-03326775⟩
130 View
465 Download

Share

Gmail Facebook X LinkedIn More