Limit Search Results
Author
Language
Publication Date
-
Subject
Library
Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Author 
Enea, Constantin. editor. Lal, Akash. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521096.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37706-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Author 
Enea, Constantin. editor. Lal, Akash. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521097.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37709-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Author 
Enea, Constantin. editor. Lal, Akash. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521099.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37703-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Author 
Enea, Constantin. editor. Piskac, Ruzica. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-11245-5
Format: 
Availability 
Online Library~1
Available:
Copies: