×

zbMATH — the first resource for mathematics

Found 3 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
Bernardo, Marco (ed.) et al., Formal methods for executable software models. 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, Italy, June 16–20, 2014. Advanced lectures. Berlin: Springer (ISBN 978-3-319-07316-3/pbk). Lecture Notes in Computer Science 8483, 172-216 (2014).
MSC:  68N30 68Q60
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Reviewing State
Author
Year of Publication
Classification
Software