Formal Verification for Numerical Computations, and the Other Way Around - Archive ouverte HAL
Hdr Année : 2019

Formal Verification for Numerical Computations, and the Other Way Around

Fichier principal
Vignette du fichier
hdr.pdf (1.52 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

tel-02194683 , version 1 (25-07-2019)

Identifiants

  • HAL Id : tel-02194683 , version 1

Citer

Guillaume Melquiond. Formal Verification for Numerical Computations, and the Other Way Around. Computer Arithmetic. Université Paris Sud, 2019. ⟨tel-02194683⟩
291 Consultations
819 Téléchargements

Partager

More