×

zbMATH — the first resource for mathematics

Found 2,599 Documents (Results 1–3)

Piskac, Ruzica (ed.) et al., Verified software. Theories, tools, and experiments. 10th international conference, VSTTE 2018, Oxford, UK, July 18--19, 2018. Revised selected papers. Cham: Springer (ISBN 978-3-030-03591-4/pbk; 978-3-030-03592-1/ebook). Lecture Notes in Computer Science 11294, 112-134 (2018).
MSC:  68N20 68N17
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Journal
Year of Publication
Classification
Software