×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Finkbeiner, Bernd (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24952-0/pbk; 978-3-319-24953-7/ebook). Lecture Notes in Computer Science 9364, 31-47 (2015).
MSC:  68Q60
BibTeX Cite
Full Text: DOI
WorldCat.org
Ciobanu, Gabriel (ed.) et al., Theoretical aspects of computing – ICTAC 2014. 11th international colloquium, Bucharest, Romania, September 17–19, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-10881-0/pbk). Lecture Notes in Computer Science 8687, 369-387 (2014).
MSC:  68Q85
BibTeX Cite
Full Text: DOI
WorldCat.org
Brucker, Achim D. (ed.) et al., Tests and proofs. 6th international conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30472-9/pbk). Lecture Notes in Computer Science 7305, 83-98 (2012).
MSC:  68Q85 68Q60
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Reviewing State
Author
Year of Publication
Classification