×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

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, 79-96 (2005).
MSC:  68Q60 03B25 68Q17
BibTeX Cite
Full Text: DOI
WorldCat.org
Proceedings of the thirty-third annual ACM symposium on theory of computing, STOC 2001. Hersonissos, Crete, Greece, July 6–8, 2001. New York, NY: ACM Press (ISBN 1-581-13349-9). 647-656 (2001).
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Year of Publication
Classification