Search

New Search Subject Computer software -- Verification
Title Journal Article Date
10 20 50 100
1 - 10 of 64

9. 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)

10. 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)

Limit your search

Enter a search term or select another filter before applying a date range.

more »

more »