×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Cassez, Franck (ed.) et al., Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-11935-9/pbk). Lecture Notes in Computer Science 8837, 185-200 (2014).
MSC:  68Q60
BibTeX Cite
Full Text: DOI
McMillan, Ken (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-45220-8/pbk). Lecture Notes in Computer Science 8312, 173-181 (2013).
MSC:  68T15 03C40
BibTeX Cite
Full Text: DOI

Filter Results by …

Reviewing State
Author
Year of Publication
Classification
Software