Home > Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Book Informaton
Author
Daniel Kroening; Corina S. Păsăreanu
Series
Lecture Notes in Computer Science
Volume
9206
Year of Publication
1st ed. 2015
Publisher
Springer International Publishing
Pages
XXIII, 677
Language
EN
ISBN
9783319216898, 9783319216904, 3319216899
ARI Id
1664969831203
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 52 entries
Chapters/Headings | Author(s) | Pages | Info |
I-XXIII | |||
1-1 | |||
3-10 | |||
11-11 | |||
13-29 | |||
30-48 | |||
49-66 | |||
67-84 | |||
85-102 | |||
103-119 | |||
121-121 | |||
123-139 | |||
140-157 | |||
158-177 | |||
178-194 | |||
195-213 | |||
214-231 | |||
233-233 | |||
235-254 | |||
255-272 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 52 entries