Keerthana Gurushankar - ICSME 2023

Sun 1 - Fri 6 October 2023 Bogotá, Colombia

Not registered as user

Name:Keerthana Gurushankar

Country:United States

Affiliation:Carnegie Mellon University

Contributions

2023

ICSME

Artifact for What’s in a Name? Linear Temporal Logic Literally Represents Time Lines

Show activities from other conferences

ICSME 2023-profile
View general profile