Vijay Ganesh profile picture

Vijay Ganesh

Is this your author profile? Create an account to customize it!

Stand Alone

Automated Technology for Verification and Analysis 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
Automated Technology for Verification and Analysis
Foundational Principles of AI Governance and Policy