Browsing by Author Zheng, Bingzhou
Showing results 1 to 2 of 2
| Publication Date | Title | Author(s) |
|---|---|---|
| Aug-2009 | Documentation Driven Testing of Scientific Computing Software | Zheng, Bingzhou |
| Apr-2014 | Formal Proof of the Fundamental Theorem of Decorated Interval Arithmetic | Zheng, Bingzhou; Zheng, Bingzhou |
