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

DOI10.1007/978-3-319-96145-3zbMath1391.68003MaRDI QIDQ726091

No author found.

Publication date: 2 August 2018

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Checking causal consistency of distributed databases ⋮ Preface of the special issue on the conference on computer-aided verification 2018

This page was built for publication: 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