Home > Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Book Informaton
Author
Sharon Barner; Ian Harris; Daniel Kroening; Orna Raz
Series
Lecture Notes in Computer Science
Volume
6504
Year of Publication
2011
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin, Heidelberg
Pages
X, 197
Language
en
ISBN
9783642195822, 9783642195839
ARI Id
1664720567821
This page has been accessed 10 times.
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |