Formal Verification for Numerical Computations, and the Other Way Around - TEL - Thèses en ligne Access content directly
Habilitation À Diriger Des Recherches Year : 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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : tel-02194683 , version 1

Cite

Guillaume Melquiond. Formal Verification for Numerical Computations, and the Other Way Around. Computer Arithmetic. Université Paris Sud, 2019. ⟨tel-02194683⟩
259 View
729 Download

Share

Gmail Facebook X LinkedIn More