×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

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, 157-173 (2006).
MSC:  68Q60 68P05
BibTeX Cite
Full Text: DOI
Cousot, Radhia (ed.), Verfication, model checking, and abstract interpretation. 6th international conference, VMCAI 2005, Paris, France, January 17–19, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24297-X/pbk). Lecture Notes in Computer Science 3385, 430-447 (2005).
MSC:  68Q60 68P05
BibTeX Cite
Full Text: DOI

Filter Results by …

Author
Year of Publication
Classification
Software