Home > Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Book Informaton
Author
Neil Jones; Markus Müller-Olm
Series
Lecture Notes in Computer Science
Volume
5403
Year of Publication
2008
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin, Heidelberg
Pages
XI, 381
Language
en
ISBN
9783540938996, 9783540939009
ARI Id
1664726532227
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 31 entries
Chapters/Headings | Author(s) | Pages | Info |
1-1 | |||
2-2 | |||
3-3 | |||
4-4 | |||
5-13 | |||
14-28 | |||
29-43 | |||
44-58 | |||
59-73 | |||
74-88 | |||
89-104 | |||
105-119 | |||
120-135 | |||
136-150 | |||
151-166 | |||
167-181 | |||
182-197 | |||
198-213 | |||
214-228 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 31 entries