×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Berry, GĂ©rard (ed.) et al., Computer aided verification. 13th international conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2102, 387-390 (2001).
MSC:  68U99 68Q60
BibTeX Cite
Full Text: Link
WorldCat.org

Filter Results by …

Author
Year of Publication
Classification
Software