Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual…
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-81685-8
- Collation
- xxiv, 922p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.14 Com
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual…
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-81688-9
- Collation
- xxiii, 940p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.14 Com
Search Result
Found 2 from your keywords: Author : "Leino, K. Rustan M."
Query took 0.00066 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography