Sfoglia per Autore
Mostrati risultati da 1 a 3 di 3
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification
2019-01-01 Bagnara, Roberto; Bagnara, Abramo; Biselli, Fabio; Chiari, Michele; Gori, Roberta
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions
2020-01-01 Bagnara, Roberto; Chiari, Michele; Gori, Roberta; Bagnara, Abramo
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification
2022-01-01 Bagnara, Roberto; Bagnara, Abramo; Biselli, Fabio; Chiari, Michele; Gori, Roberta
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification | 1-gen-2019 | Bagnara, Roberto; Bagnara, Abramo; Biselli, Fabio; Chiari, Michele; Gori, Roberta | |
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions | 1-gen-2020 | Bagnara, Roberto; Chiari, Michele; Gori, Roberta; Bagnara, Abramo | |
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification | 1-gen-2022 | Bagnara, Roberto; Bagnara, Abramo; Biselli, Fabio; Chiari, Michele; Gori, Roberta |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile