TY  - BOOK
AU  - Jouannaud,Jean-Pierre
AU  - Shao,Zhong
ED  - SpringerLink (Online service)
TI  - Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642253799
AV  - QA76.9.L63 
U1  - 005.1015113 23
PY  - 2011///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Logic design
KW  - Algebra
KW  - Data processing
KW  - Artificial intelligence
KW  - Computer Science
KW  - Logics and Meanings of Programs
KW  - Mathematical Logic and Formal Languages
KW  - Programming Languages, Compilers, Interpreters
KW  - Symbolic and Algebraic Manipulation
KW  - Software Engineering
KW  - Artificial Intelligence (incl. Robotics)
N2  - This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware certification, miscellaneous, and proof perls
UR  - http://dx.doi.org/10.1007/978-3-642-25379-9
ER  -