SPLASH 2020 (series) / Emily First
Not registered as user yet
Name: Emily First
Affiliation: University of Massachusetts Amherst
Contributions
| SPLASH 2020 | Author of TacTok: Semantics-Aware Proof Synthesis within the OOPSLA-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile