Numerical Software Verification Numerical Software Verification
٢٠١٧
Computer Arithmetic and Formal Proofs Computer Arithmetic and Formal Proofs
٢٠١٧