SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Alexandra Silva

Registered user since Sat 11 Jun 2016

Name:Alexandra Silva
Country:United States
Affiliation:Cornell University

Contributions

SPLASH 2023 Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
Show activities from other conferences

Using general profile