Treffer: Some Formal Tools for Computer Arithmetic: Flocq and Gappa
Title:
Some Formal Tools for Computer Arithmetic: Flocq and Gappa
Authors:
Source:
2021 IEEE 28th Symposium on Computer Arithmetic (ARITH) ARITH Computer Arithmetic (ARITH), 2021 IEEE 28th Symposium on. :111-114 Jun, 2021
Relation:
2021 IEEE 28th Symposium on Computer Arithmetic (ARITH)
Database:
IEEE Xplore Digital Library