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 I

other

Editor(s): Hana Chockler , Georg Weissenbacher

Publication date (Print): 2018

Publisher: Springer International Publishing

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Contributors

Hana Chockler: (View ORCID Profile)

Georg Weissenbacher: (View ORCID Profile)

Book

ISBN (Print): 978-3-319-96144-6

ISBN (Electronic): 978-3-319-96145-3

Publication date (Print): 2018

DOI: 10.1007/978-3-319-96145-3

SO-VID: 6aa444a6-d3bf-4aa8-8a16-576a469b0de8

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 1

Constraint-Based Monitoring of Hyperproperties
Authors: Christopher W Hahn, Marvin Stenger, Leander Tentrup

See all cited by