×

zbMATH — the first resource for mathematics

30 years of research and development around Coq. (English) Zbl 1284.68517
Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 249-249 (2014).
For the entire collection see [Zbl 1282.68034].

MSC:
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68-03 History of computer science
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68Q60 Specification and verification (program logics, model checking, etc.)
Software:
Coq
PDF BibTeX XML Cite
Full Text: DOI