2018年8月
Machine-Aided Verification of Four Interval Arithmetic Operators
International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN)
- ,
- 開始ページ
- 176
- 終了ページ
- 177
- 記述言語
- 掲載種別
- 研究発表ペーパー・要旨（国際会議）