Fingerprint
Dive into the research topics of 'Position paper: the science of deep specification'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Position paper: the science of deep specification
Andrew W. Appel, Elmar Lennart Beringer, Adam Chlipala, Benjamin C. Pierce, Zhong Shao, Stephanie Weirich, Steve Zdancewic
Research output: Contribution to journal › Article › peer-review
26
Scopus
citations