Author/Creator: Weissenbacher, Georg - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Weissenbacher, Georg

1. 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 /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part I : (2018)

Editors:: Chockler, Hana; Weissenbacher, Georg
Other Names:: CAV (Conference), 30th; Federated Logic Conference
Record Type:: Book
Extent:: 1 online resource (xix, 703 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. 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 /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part II : (2018)

Editors:: Chockler, Hana; Weissenbacher, Georg
Other Names:: CAV (Conference), 30th; Federated Logic Conference
Record Type:: Book
Extent:: 1 online resource (xx, 545 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗