Position paper: the science of deep specification.
Appel AW, Beringer L, Chlipala A, Pierce BC, Shao Z, Weirich S, Zdancewic S.
Appel AW, et al. Among authors: pierce bc.
Philos Trans A Math Phys Eng Sci. 2017 Oct 13;375(2104):20160331. doi: 10.1098/rsta.2016.0331.
Philos Trans A Math Phys Eng Sci. 2017.
PMID: 28871056
Free PMC article.