×

zbMATH — the first resource for mathematics

Found 23 Documents (Results 1–3)

Chaudhuri, Swarat (ed.) et al., Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17–23, 2016. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 9779, 329-351 (2016).
MSC:  68Q60
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software