@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",
address = "Germany",
}