Some Formal Tools for Computer Arithmetic: Flocq and Gappa.

Sylvie Boldo Guillaume Melquiond

Published in: ARITH (2021)

Keyphrases

decision support
computer programs
formal methods
computer technology
formal models
databases
information technology
database
mobile devices
end users
user friendly
web technologies
computer forensics
visual languages