Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II.
Shoham, Sharon.
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II. - 1st ed. - 1 online resource (560 pages) - Lecture Notes in Computer Science Series ; v.13372 . - Lecture Notes in Computer Science Series .
9783031131882
Electronic books.
QA76.758
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II. - 1st ed. - 1 online resource (560 pages) - Lecture Notes in Computer Science Series ; v.13372 . - Lecture Notes in Computer Science Series .
9783031131882
Electronic books.
QA76.758