Foreword: Special issue on numerical software verification Journal Article

Overview

CU Boulder Authors

• Sankaranarayanan, Sriram

publication date

• December 1, 2009

has restriction

• closed

Date in CU Experts

• September 6, 2013 12:26 PM

Full Author List

• Ivancic F; Sankaranarayanan S; Wang C

author count

• 3

published in

• Formal Methods in System Design  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 0925-9856

Digital Object Identifier (DOI)

• https://doi.org/10.1007/s10703-009-0090-0

Additional Document Info

start page

• 227

end page

• 228

volume

• 35

issue

• 3