Bharti Chimdyalwar - ICSME 2023

Sun 1 - Fri 6 October 2023 Bogotá, Colombia

Not registered as user yet

Name:Bharti Chimdyalwar

Country:India

Affiliation:Tata Consultancy Services

Contributions

2023

ICSME

OLA: Property Directed Outer Loop Abstraction for Efficient Verification of Reactive Systems

Show activities from other conferences

ICSME 2023-profile
View general profile