zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Emerson, E. Allen (ed.) et al., Verification, model checking, and abstract interpretation. 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8–10, 2006. Proceedings. Berlin: Springer (ISBN 3-540-31139-4/pbk). Lecture Notes in Computer Science 3855, 252-266 (2006).
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication