conf.researchr.org / Bretton Chen
Not registered as user yet
Name:Bretton Chen
Country:United States
Affiliation:University of California at Los Angeles
Contributions
| SPLASH 2022 | Author of Data-Driven Lemma Synthesis for Interactive Proofs within the OOPSLA-track |