Showing 1 - 3 results of 3 for search 'Gurfinkel, Arie', query time: 0.02s Refine Results
  1. 1
    Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I
    by Gurfinkel, Arie
    Published 2024
    Other Authors: “…Gurfinkel, Arie…”
    eBook
  2. 2
    Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II
    by Gurfinkel, Arie
    Published 2024
    Other Authors: “…Gurfinkel, Arie…”
    eBook
  3. 3
    Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III
    by Gurfinkel, Arie
    Published 2024
    Other Authors: “…Gurfinkel, Arie…”
    eBook

Search Tools: