[Lecture Notes in Computer Science] Verified Software. Theories, Tools, and Experiments Volume 10712 || Automating the Verification of Floating-Point Programs

• 作者Paskevich, Andrei; Wies, Thomas
• 文件大小877.57KB
• 发表时间2017
• DOI10.1007/978-3-319-72308-2_7
• 页码102-119