×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Ayala-Rincón, Mauricio (ed.) et al., Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26–29, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-66106-3/pbk; 978-3-319-66107-0/ebook). Lecture Notes in Computer Science 10499, 164-170 (2017).
MSC:  68T15
BibTeX Cite
Full Text: DOI
WorldCat.org
Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-54457-0/pbk; 978-3-662-54458-7/ebook). Lecture Notes in Computer Science 10203, 424-440 (2017).
MSC:  68Qxx
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Author
Classification
Software