Login / Signup

Formal Methods Applied to a Floating-Point Number System.

Geoff Barrett
Published in: IEEE Trans. Software Eng. (1989)
Keyphrases
  • floating point
  • formal methods
  • artificial intelligence
  • fine grained
  • machine learning
  • fixed point
  • formal specification