10th International Workshop on Numerical Software Verification - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Proceedings/Recueil Des Communications Année : 2017

10th International Workshop on Numerical Software Verification

Alessandro Abate
  • Fonction : Auteur
University of Oxford
Sylvie Boldo
Formally Verified Programs, Certified Tools and Numerical Computations
CV

Domaines

Arithmétique des ordinateurs Analyse numérique [cs.NA] Logique en informatique [cs.LO]

Sylvie Boldo  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01662076

Soumis le : mardi 12 décembre 2017-16:43:25

Dernière modification le : mardi 13 février 2024-03:25:13

Fichier non déposé

Dates et versions

hal-01662076 , version 1 (12-12-2017)

Identifiants

  • HAL Id : hal-01662076 , version 1

Citer

Alessandro Abate, Sylvie Boldo. 10th International Workshop on Numerical Software Verification. 10th International Workshop on Numerical Software Verification, France. Springer, 2017. ⟨hal-01662076⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UMR8623 CENTRALESUPELEC INRIA2 LRI-VALS UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE
328 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More