Vijay Ganesh

Identifiers

Open LibraryOL9932115A

Books by Vijay Ganesh

Total count: 3

Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis

Association for Computing Machinery2014-01-01
Automated Technology for Verification and Analysis19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings

Springer International Publishing AG2021-01-01
Computer Aided Verification36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

Springer2024-01-01