×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–3)

Hunt, Warren A.jun. (ed.) et al., Computer aided verification. 15th international conference, CAV 2003, Boulder, CO, USA, July 8–12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40524-0/pbk). Lect. Notes Comput. Sci. 2725, 315-327 (2003).
BibTeX Cite
Full Text: DOI
WorldCat.org
Bošnački, Dragan (ed.) et al., Model checking software. 9th international SPIN workshop, Grenoble, France, April 11–13, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43477-1). Lect. Notes Comput. Sci. 2318, 250-253 (2002).
MSC:  68M10
BibTeX Cite
Full Text: Link
WorldCat.org
Kutsche, Ralf-Detlef (ed.) et al., Fundamental approaches to software engineering. 5th international conference, FASE 2002. Held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43353-8). Lect. Notes Comput. Sci. 2306, 336-339 (2002).
MSC:  68N99
BibTeX Cite
Full Text: Link
WorldCat.org

Filter Results by …

Author
Year of Publication
Classification