Position paper: the science of deep specification

Andrew W. Appel, Lennart Beringer, Adam Chlipala, Benjamin C. Pierce, Zhong Shao, Stephanie Weirich, Steve Zdancewic

Research output: Contribution to journalArticlepeer-review

15 Scopus citations

Fingerprint

Dive into the research topics of 'Position paper: the science of deep specification'. Together they form a unique fingerprint.

Mathematics

Physics & Astronomy

Engineering & Materials Science