Home > Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Book Informaton
Author
Hana Chockler; Georg Weissenbacher
Series
Lecture Notes in Computer Science
Volume
10982
Year of Publication
1st ed. 2018
Publisher
Springer International Publishing
Pages
XX, 545
Language
en
ISBN
9783319961415, 9783319961422, 3319961411
ARI Id
1665131975589
Find on
This page has been accessed 12 times.
Access Options
Citation Options
Download Citation| Chapters/Headings | Author(s) | Pages | Info |
| Loading... | |||
| Chapters/Headings | Author(s) | Pages | Info |
Topics