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