Jump to Content

Foreword: Special issue on numerical software verification

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

Abstract

Research Areas