×

zbMATH — the first resource for mathematics

Found 8 Documents (Results 1–3)

Paskevich, Andrei (ed.) et al., Verified software. Theories, tools, and experiments. 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22–23, 2017. Revised selected papers. Cham: Springer (ISBN 978-3-319-72307-5/pbk; 978-3-319-72308-2/ebook). Lecture Notes in Computer Science 10712, 191-209 (2017).
MSC:  68N19 03B70 68Q85
BibTeX Cite
Full Text: DOI
WorldCat.org
Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 366-381 (2011).
MSC:  68Q60 68N19
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software