Foreword: Special issue on numerical software verification
Franjo Ivančić, Sriram Sankaranarayanan, Chao WangVolume:
35
Language:
english
Pages:
2
DOI:
10.1007/s10703-009-0090-0
Date:
December, 2009
File:
PDF, 131 KB
english, 2009