Soumyadip Bandyopadhyay - ATVA 2025

Mon 27 - Fri 31 October 2025 Bengaluru, India

Registered user since Mon 9 May 2016

Name:Soumyadip Bandyopadhyay

Country:India

Affiliation:ACM Member

Research interests:Formal verification, Software Engineering

Contributions

2025

ATVA

Antarbhukti: Verifying Correctness of PLC Software during System Evolution

Show activities from other conferences

ATVA 2025-profile
View general profile