Home > Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Book Informaton
Author
Deepak D'Souza; Akash Lal; Kim Guldstrand Larsen
Series
Lecture Notes in Computer Science
Volume
8931
Year of Publication
2015
Publisher
Springer Berlin Heidelberg
Pages
XVIII, 468
Language
en
ISBN
9783662460801, 9783662460818, 3662460807
ARI Id
1665001492030
This page has been accessed 7 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 27 entries
Chapters/Headings | Author(s) | Pages | Info |
1-18 | |||
19-42 | |||
43-60 | |||
61-79 | |||
80-98 | |||
99-116 | |||
117-134 | |||
135-152 | |||
153-171 | |||
172-189 | |||
190-208 | |||
209-226 | |||
227-244 | |||
245-262 | |||
263-281 | |||
282-299 | |||
300-317 | |||
318-335 | |||
336-354 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 27 entries
Topics