Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Vijay Ganesh | lit.salon

Author

Vijay Ganesh

VG

Author record

3 works

2014–2024 across 3 dated works

No biography is available yet.

Start with

Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis2014
Automated Technology for Verification and Analysis 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings2021
With Zhe Hou
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I2024
With Arie Gurfinkel

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I2024
With Arie Gurfinkel
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis2014
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Automated Technology for Verification and Analysis 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings2021
With Zhe Hou
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Vijay Ganesh.

The conversation is still open.

There is no public salon activity to show for Vijay Ganesh yet.