Browsing by Author Chlipala, Adam
Showing results 1 to 1 of 1
| Publication Date | Article Title | Author(s) |
|---|---|---|
| Sep-2017 | Position paper: the science of deep specification | Appel, Andrew W; Beringer, Lennart; Chlipala, Adam; Pierce, Benjamin C; Shao, Zhong; et al |