Funded publications

  • Gurfinkel, Arie; Ganesh, Vijay (2024)
    This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of ...