Foreword: Special issue on numerical software verification

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

Abstract

Research Areas