Home > Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Book Informaton
Author
Francesco Logozzo; Doron A. Peled; Leonore D. Zuck
Series
Lecture Notes in Computer Science
Volume
4905
Year of Publication
2008
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
X, 325
Language
en
ISBN
9783540781622, 9783540781639, 3540781625
ARI Id
1665000508801
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 28 entries
Chapters/Headings | Author(s) | Pages | Info |
1-3 | |||
4-4 | |||
5-5 | |||
6-6 | |||
7-7 | |||
8-21 | |||
22-36 | |||
37-51 | |||
52-67 | |||
68-82 | |||
83-97 | |||
98-111 | |||
112-126 | |||
127-141 | |||
142-156 | |||
157-171 | |||
172-187 | |||
188-202 | |||
203-217 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 28 entries