Title: Certified Programs And Proofs First International Conference Cpp 2011 Kenting Taiwan December 79 2011 Proceedings
Subjects: Mathematical Logic and Formal Languages, Software engineering, Algebra, Symbolic and Algebraic Manipulation, Logic design, Logics and Meanings of Programs, Computer science, Data processing, Programming Languages, Compilers, Interpreters, Artificial intelligence, Artificial Intelligence (incl. Robotics), Computer industry, Electronic data processing personnel, certification