Numerical Software Verification Book

Overview

CU Boulder Authors

• Zamani, Majid

editors

• Zamani, Majid

publication date

• January 1, 2019

has restriction

• closed

Date in CU Experts

• January 24, 2020 2:52 AM

Full Editor List

• Zamani M; Zufferey D

author count

• 0

published in

• Lecture Notes in Artificial Intelligence  Journal

Other Profiles

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-3-030-28423-7

International Standard Book Number (ISBN) 13

• 9783030284220