![](https://media.springernature.com/w90/springer-static/cover/journal/10703/35/3.jpg?as=webp)
Volume 35, Issue 3
December 2009Special issue on Numerical Software Verification / Edited by Franjo Ivančić, Sriram Sankaranarayanan and Chao Wang
7 articles in this issue
Special issue on Numerical Software Verification / Edited by Franjo Ivančić, Sriram Sankaranarayanan and Chao Wang