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