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

Sylvie Boldo 1 Julien Signoles 2
1 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Vingt-huitièmes Journées Francophones des Langages Applicatifs, Gourette, France. Published by the authors, 2017
Liste complète des métadonnées

https://hal.inria.fr/hal-01662072
Contributeur : Sylvie Boldo <>
Soumis le : mardi 12 décembre 2017 - 16:38:49
Dernière modification le : lundi 24 septembre 2018 - 11:34:03

Identifiants

  • HAL Id : hal-01662072, version 1

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〉

Partager

Métriques

Consultations de la notice

151