Foreword: Special issue on numerical software verification

Sriram Sankaranarayanan
Chao Wang
Formal Methods in System Design, 35 (2009), pp. 227-228

Abstract