[Lecture Notes in Computer Science] Verified Software. Theories, Tools, and Experiments Volume 10712 || How to Get an Efficient yet Verified Arbitrary-Precision Integer Library

• 作者Paskevich, Andrei; Wies, Thomas
• 文件大小517.76KB
• 发表时间2017
• DOI10.1007/978-3-319-72308-2_6
• 页码84-101