Sfoglia per Autore
Mostrati risultati da 1 a 2 di 2
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification
2019-01-01 Bagnara, Roberto; Bagnara, Abramo; Biselli, Fabio; Chiari, Michele; Gori, Roberta
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 | |
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 2 di 2
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