Formal Verification for Numerical Computations, and the Other Way Around - Laboratoire Méthodes Formelles Accéder directement au contenu
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⟩
278 Consultations
803 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More