×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20--22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 400-415 (2016).
BibTeX Cite
Full Text: DOI
WorldCat.org
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 (ISBN 978-3-642-54012-7/pbk). Lecture Notes in Computer Science 8318, 161-181 (2014).
MSC:  68Q60
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Reviewing State
Author
Year of Publication
Classification
Software