×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

100
MathJax
Bogomolov, Sergiy (ed.) et al., Selected papers based on the presentations at the 7th and 8th international workshops on numerical software verification (NSV), Vienna, Austria, July 17–18, 2014 and April 13, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 317, 19-25 (2015).
MSC:  68Q60 68T15 93C30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 133-142 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Year of Publication
Classification
all top 3
Software