Home > Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Book Informaton
Author
Constantin Enea; Ruzica Piskac
Series
Lecture Notes in Computer Science
Volume
11388
Year of Publication
1st ed. 2019
Publisher
Springer International Publishing
Pages
XVII, 602
Language
en
ISBN
9783030112448, 9783030112455, 3030112446
ARI Id
1665164713554
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 29 entries
Chapters/Headings | Author(s) | Pages | Info |
I-XVII | |||
1-23 | |||
24-47 | |||
48-69 | |||
70-91 | |||
92-113 | |||
114-135 | |||
136-159 | |||
160-182 | |||
183-204 | |||
205-225 | |||
226-246 | |||
247-274 | |||
275-296 | |||
297-317 | |||
318-341 | |||
342-362 | |||
363-385 | |||
386-408 | |||
409-424 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 29 entries