Priyanka Darke - ICSME 2023

Sun 1 - Fri 6 October 2023 Bogotá, Colombia

Registered user since Fri 28 Dec 2018

Name:Priyanka Darke

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