ATVA 2025
Mon 27 - Fri 31 October 2025 Bengaluru, India
Soumyadip Bandyopadhyay

Registered user since Mon 9 May 2016

Name:Soumyadip Bandyopadhyay
Country:India
Affiliation:ACM Member
Research interests:Formal verification, Software Engineering

Contributions

Show activities from other conferences

Using general profile