VMCAI 2025
Mon 20 - Tue 21 January 2025 Denver, Colorado, United States
co-located with POPL 2025

Registered user since Fri 19 Jul 2024

Name:Shibashis Guha
Country:India
Affiliation:Tata Institute of Fundamental Research, India
Research interests:Formal methods, reactive synthesis, logic, automata

Contributions

Show activities from other conferences

Using general profile