Browsing by Author Shao, Zhong
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 |