×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Halbwachs, Nicolas (ed.) et al., Computer aided verification. 11th international conference, CAV ’99. Trento, Italy, July 6–10, 1999. Proceedings. Berlin: Springer (ISBN 3-540-66202-2). Lect. Notes Comput. Sci. 1633, 341-353 (1999).
MSC:  68Q60
BibTeX Cite
WorldCat.org

Filter Results by …

Author
Year of Publication
Classification
Software