×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Logozzo, Francesco (ed.) et al., Verification, model checking, and abstract interpretation. 9th international conference, VMCAI 2008, San Francisco, USA, January 7–9, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78162-2/pbk). Lecture Notes in Computer Science 4905, 203-217 (2008).
MSC:  68Q60
BibTeX Cite
Full Text: DOI
Nieuwenhuis, Robert (ed.), Automated deduction – CADE-20. 20th international conference on automated deduction, Tallinn, Estonia, July 22–27, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28005-7/pbk). Lecture Notes in Computer Science 3632. Lecture Notes in Artificial Intelligence, 260-277 (2005).
MSC:  03B35 03B25 68Q60
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software