×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Steffen, Bernhard (ed.) et al., Verification, model checking, and abstract interpretation. 5th international conference, VMCAI 2004, Venice, Italy, January 11--13, 2004. Proceedings. Berlin: Springer (ISBN 3-540-20803-8/pbk). Lect. Notes Comput. Sci. 2937, 85-96 (2004).
MSC:  68Q60
BibTeX Cite
Full Text: DOI
WorldCat.org
Geist, Daniel (ed.) et al., Correct hardware design and verification methods. 12th IFIP WG 10. 5 advanced research working conference, CHARME 2003, L’Aquila, Italy, October 21--24, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20363-X/pbk). Lect. Notes Comput. Sci. 2860, 19-34 (2003).
MSC:  68N30 68Q60
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software