Browsing by Author Paraskevopoulou, Zoe
Showing results 1 to 1 of 1
| Publication Date | Article Title | Author(s) |
|---|---|---|
| Aug-2021 | Compositional optimizations for CertiCoq | Paraskevopoulou, Zoe; Li, John M; Appel, Andrew W |
| Publication Date | Article Title | Author(s) |
|---|---|---|
| Aug-2021 | Compositional optimizations for CertiCoq | Paraskevopoulou, Zoe; Li, John M; Appel, Andrew W |