zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

McMillan, Kenneth L. (ed.) et al., Verification, model checking, and abstract interpretation. 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19–21, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8318, 78-97 (2014).
MSC:  68Q60 91A43
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication