Lecture Notes in Computer Science: Numerical Software Verification

Sergiy Bogomolov; Pavithra Prabhakar; Matthieu Martel

doi:10.1007/978-3-319-54292-8

Lecture Notes in Computer Science: Numerical Software Verification

Sergiy Bogomolov, Pavithra Prabhakar, Matthieu Martel

Research output: Book/Report › Book › peer-review

Original language	English
Place of Publication	Switzerland
Publisher	Springer Verlag
Number of pages	107
Volume	10152
ISBN (Print)	9783319542911
DOIs	https://doi.org/10.1007/978-3-319-54292-8
Publication status	Published - 2017

Publication series

Name	Lecture Notes in Computer Science 9th International Workshop, NSV 2016 Toronto, ON, Canada, July 17â€“18, 2016 Revised Selected Papers

Access to Document

10.1007/978-3-319-54292-8

Cite this

@book{6507f3cf893148f39c93b9b2b57f24af,

title = "Lecture Notes in Computer Science: Numerical Software Verification",

author = "Sergiy Bogomolov and Pavithra Prabhakar and Matthieu Martel",

year = "2017",

doi = "10.1007/978-3-319-54292-8",

language = "English",

isbn = "9783319542911",

volume = "10152",

series = "Lecture Notes in Computer Science 9th International Workshop, NSV 2016 Toronto, ON, Canada, July 17{\^a}€“18, 2016 Revised Selected Papers",

publisher = "Springer Verlag",

}

TY - BOOK

T1 - Lecture Notes in Computer Science: Numerical Software Verification

AU - Bogomolov, Sergiy

AU - Prabhakar, Pavithra

AU - Martel, Matthieu

PY - 2017

Y1 - 2017

U2 - 10.1007/978-3-319-54292-8

DO - 10.1007/978-3-319-54292-8

M3 - Book

SN - 9783319542911

VL - 10152

T3 - Lecture Notes in Computer Science 9th International Workshop, NSV 2016 Toronto, ON, Canada, July 17â€“18, 2016 Revised Selected Papers

BT - Lecture Notes in Computer Science: Numerical Software Verification

PB - Springer Verlag

CY - Switzerland

ER -