×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 57-73 (1991).
MSC:  68Q60 68Q10
BibTeX Cite
WorldCat.org

Filter Results by …

Document Type
Year of Publication
Classification