zbMATH — the first resource for mathematics

Found 26 Documents (Results 1–3)

Artho, Cyrille (ed.) et al., Automated technology for verification and analysis. 14th international symposium, ATVA 2016, Chiba, Japan, October 17–20, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46519-7/pbk; 978-3-319-46520-3/ebook). Lecture Notes in Computer Science 9938, 287-303 (2016).
MSC:  68Q60 68Q85
BibTeX Cite
Full Text: DOI
Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2015. 12th international colloquium Cali, Colombia, October 29–31, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-25149-3/pbk; 978-3-319-25150-9/ebook). Lecture Notes in Computer Science 9399, 184-202 (2015).
MSC:  68Qxx
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication