Home > Authors > Vijay Ganesh

Vijay Ganesh

All books by Vijay Ganesh

(Displaying 3 Books)

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Zhe Hou

Computer Aided Verification

Computer Aided Verification

Arie Gurfinkel

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

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

Vijay Ganesh

Looking for another book by Vijay Ganesh? Search for the book by title.