Home > Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers
Book Informaton
Author
Supratik Chakraborty; Jorge A. Navas
Series
Lecture Notes in Computer Science
Volume
12031
Year of Publication
1st ed. 2020
Publisher
Springer International Publishing
Pages
XVI, 193
Language
en
ISBN
9783030415990, 9783030416003, 3030415996
ARI Id
1665245460027
This page has been accessed 7 times.
Access Options
Citation Options
Download CitationShowing 1 to 14 of 14 entries
Chapters/Headings | Author(s) | Pages | Info |
i-xvi | |||
1-18 | |||
19-29 | |||
30-35 | |||
36-53 | |||
54-67 | |||
68-86 | |||
87-106 | |||
107-123 | |||
124-142 | |||
143-160 | |||
161-179 | |||
180-192 | |||
193-193 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 14 of 14 entries