Home > Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Book Informaton
Author
Agostino Cortesi
Series
Lecture Notes in Computer Science
Volume
2294
Year of Publication
2002
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
VIII, 331
Language
en
ISBN
9783540436317, 9783540478133, 3540436316
ARI Id
1664804141754
This page has been accessed 8 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 24 entries
Chapters/Headings | Author(s) | Pages | Info |
I-VIII | |||
1-15 | |||
16-31 | |||
32-45 | |||
46-64 | |||
65-78 | |||
79-93 | |||
94-108 | |||
109-125 | |||
126-138 | |||
139-153 | |||
154-166 | |||
167-181 | |||
182-195 | |||
196-207 | |||
208-224 | |||
225-239 | |||
240-254 | |||
255-271 | |||
272-288 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 24 entries