Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Isr…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-13185-1
- Collation
- xix, 555p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.101 Com
Search Result
Found 1 from your keywords: Author : "Vizel, Yakir"
Query took 0.00025 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography