×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

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, 271-291 (2016).
MSC:  68Q60
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Author
Classification
Software