Arie Gurfinkel
Identifiers
- Open LibraryOL5807210A
Top Subjects
- Computer programs (1)
Books by Arie Gurfinkel
Total count: 2
-
Verified Software : Theories, Tools, and Experiments7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected PapersSpringer London, Limited2016-01-01
-
Computer Aided Verification36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part ISpringer2024-01-01