Vijay Ganesh

Vijay Ganesh

1 ספרים במאגר

ספרים

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

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

Vijay Ganesh · 2014

ספרים משותפים ואוספים

ספרים שבהם Vijay Ganesh מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Computer Aided VerificationArie Gurfinkel

Computer Aided Verification

Arie Gurfinkel · 2024

Automated Technology for Verification and AnalysisZhe Hou

Automated Technology for Verification and Analysis

Zhe Hou · 2021