zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

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
Sands, David (ed.), Programming languages and systems. 10th European symposium on programming, ESOP 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2028, 190-205 (2001).
MSC:  68N30 68Q25
BibTeX Cite
Full Text: Link

Filter Results by …

Year of Publication