Home > Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
Book Informaton
Author
Gilles Barthe; Manuel Hermenegildo
Series
Lecture Notes in Computer Science
Volume
5944
Year of Publication
2010
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
X, 397
Language
en
ISBN
9783642113185, 9783642113192, 3642113184
ARI Id
1664720244232
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 29 entries
Chapters/Headings | Author(s) | Pages | Info |
1-1 | |||
2-2 | |||
3-22 | |||
23-24 | |||
25-25 | |||
26-44 | |||
45-60 | |||
61-77 | |||
78-94 | |||
95-111 | |||
112-128 | |||
129-145 | |||
146-162 | |||
163-179 | |||
180-196 | |||
197-213 | |||
214-230 | |||
231-246 | |||
247-262 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 29 entries