Home > Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Book Informaton
Author
Andrei Paskevich; Thomas Wies
Series
Lecture Notes in Computer Science
Volume
10712
Year of Publication
1st ed. 2017
Publisher
Springer International Publishing
Pages
XIII, 211
Language
en
ISBN
9783319723075, 9783319723082, 3319723073
ARI Id
1665094546615
This page has been accessed 4 times.
Access Options
Citation Options
Download CitationShowing 1 to 14 of 14 entries
Chapters/Headings | Author(s) | Pages | Info |
I-XIII | |||
1-18 | |||
19-34 | |||
35-48 | |||
49-65 | |||
66-83 | |||
84-101 | |||
102-119 | |||
120-131 | |||
132-151 | |||
152-169 | |||
170-190 | |||
191-209 | |||
211-211 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 14 of 14 entries
Topics