SPLASH 2023 (series) / Alexandra Silva

Registered user since Sat 11 Jun 2016
Name:Alexandra Silva
Country:United States
Affiliation:Cornell University
Personal website:http://www.alexandrasilva.org/
Contributions
SPLASH 2023 | Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile