[Lecture Notes in Computer Science] Numerical Software Verification Volume 10152 ||
Bogomolov, Sergiy; Martel, Matthieu; Prabhakar, Pavithra
- 作者Bogomolov, Sergiy; Martel, Matthieu; Prabhakar, Pavithra
- 文件大小4067.20KB
- 发表时间2017
- DOI10.1007/978-3-319-54292-8