Skip to Main content Skip to Navigation
Directions of work or proceedings

Vingt-huitièmes Journées Francophones des Langages Applicatifs

Sylvie Boldo 1 Julien Signoles 2
1 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
LRI - Laboratoire de Recherche en Informatique, Inria Saclay - Ile de France
2 LIST - Laboratoire d'Intégration des Systèmes et des Technologies
Document type :
Directions of work or proceedings
Complete list of metadata
https://hal.inria.fr/hal-01662072
Contributor : Sylvie Boldo Connect in order to contact the contributor
Submitted on : Tuesday, December 12, 2017 - 4:38:49 PM
Last modification on : Thursday, July 8, 2021 - 3:52:28 AM

Identifiers

  • HAL Id : hal-01662072, version 1

Collections

JFLA2017 | CNRS | CEA | DRT | INRIA | CENTRALESUPELEC | UMR8623 | LRI-VALS | LIST | GS-COMPUTER-SCIENCE | GS-ENGINEERING

Citation

Sylvie Boldo, Julien Signoles. Vingt-huitièmes Journées Francophones des Langages Applicatifs. Vingt-huitièmes Journées Francophones des Langages Applicatifs, Gourette, France. Published by the authors, 2017. ⟨hal-01662072⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles

 

Contact                    Legal Notice                    Personal Data