Home > Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Book Informaton
Author
Ofer Strichman; Rachel Tzoref-Brill
Series
Lecture Notes in Computer Science
Volume
10629
Year of Publication
1st ed. 2017
Publisher
Springer International Publishing
Pages
XXII, 253
Language
en
ISBN
9783319703886, 9783319703893, 3319703889
ARI Id
1665083137032
This page has been accessed 4 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 27 entries
Chapters/Headings | Author(s) | Pages | Info |
I-XXII | |||
1-1 | |||
3-18 | |||
19-34 | |||
35-50 | |||
51-66 | |||
67-82 | |||
83-98 | |||
99-114 | |||
115-130 | |||
131-146 | |||
147-162 | |||
163-178 | |||
179-194 | |||
195-210 | |||
211-211 | |||
213-216 | |||
217-220 | |||
221-224 | |||
225-228 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 27 entries