TY  - GEN
AU  - Chlipala, Adam 
TI  - Certified programming with dependent types: a pragmatic introduction to the Coq proof assistant
SN  - 9780262545747
U1  - 005.1 CHL/C 
PY  - 2013///
CY  - Cambridge
PB  - The MIT Press
KW  - Automatic theorem proving- Computer programs
KW  - Computer programming
KW  - Coq(Electronic resource)
ER  -