Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings Abate, Alessandro Heftet / 2017 / Engelsk
Computer Arithmetic and Formal Proofs Verifying Floating-point Algorithms with the Coq System Boldo, Sylvie Innbundet / 2017 / Engelsk
