"Foreword: Special issue on numerical software verification."

Franjo Ivancic, Sriram Sankaranarayanan, Chao Wang (2009)

Details and statistics

DOI: 10.1007/S10703-009-0090-0

access: closed

type: Journal Article

metadata version: 2024-08-13