We discuss the potential of doing program development, code generation, application-specific modelling, and verification entirely within a proof assistant. © Springer International Publishing 2013.
CITATION STYLE
Benton, N. (2013). The proof assistant as an integrated development environment. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8301 LNCS, pp. 307–314). https://doi.org/10.1007/978-3-319-03542-0_22
Mendeley helps you to discover research relevant for your work.