Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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

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

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

World Cat

OpenLibrary

Internet Archive


This page has been accessed 11 times.
Access Options
Citation Options
Download Citation

Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo