ENGLISH

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

By K. Rustan M. Leino (eds.) , Barbara Jobstmann

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2016
ISBN
978-3-662-49121-8, 978-3-662-49122-5
DOI
10.1007/978-3-662-49122-5
Language
english
Format
PDF
Filesize
17 MB (17586254 bytes)
Series
Lecture Notes in Computer Science 9583
Edition
1
Pages
XIII, 558\557
Time added
2016-03-14 21:35:01
CompilersInterpretersLogics and Meanings of Programs; Software Engineer

Description

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. VMCAI provides topics including: program verification, model checking, abstract

Similar books