Skip to Main content Skip to Navigation
Reports

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

Jean-Christophe Filliâtre 1, 2 
1 LMF - Laboratoire Méthodes Formelles
2 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
Inria Saclay - Ile de France, LMF - Laboratoire Méthodes Formelles
Document type :
Reports
Complete list of metadata
https://hal.inria.fr/hal-03326775
Contributor : Jean-Christophe Filliâtre Connect in order to contact the contributor
Submitted on : Wednesday, September 1, 2021 - 1:53:11 PM
Last modification on : Friday, August 5, 2022 - 2:58:08 PM
Long-term archiving on: : Thursday, December 2, 2021 - 6:19:25 PM

File

Vignette du document
compte_rendu_14.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03326775, version 1

Collections

CNRS | INRIA | ENS-CACHAN | CENTRALESUPELEC | INRIA2 | LARA | UNIV-PARIS-SACLAY | ENS-PARIS-SACLAY | GS-COMPUTER-SCIENCE | LMF

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

79

Files downloads

163

 

Contact                    Legal Notice                    Personal Data