BISELLI, FABIO
BISELLI, FABIO
Dipartimento di Matematica e Informatica (attivo dal 20/07/2012 al 31/12/2016)
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
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 |