×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

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, 96-107 (1999).
MSC:  68M12 68Q60
BibTeX Cite

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software