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 (Unknown)
- New search for: Chockler, Hana
- New search for: Chockler, Hana
- New search for: Weissenbacher, Georg
- New search for: Chockler, Hana
2018
-
ISBN:
- Report / Electronic Resource
-
Title: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
-
Contributors:
-
Publisher:
- New search for: Springer Nature
-
Publication date:2018
-
Size:1 electronic resource (545 pages)
-
ISBN:
-
Type of media:Report
-
Type of material:Electronic Resource
-
Language:Unknown
-
Contract number:10.1007/978-3-319-96142-2
-
Keywords:
-
Source: