Certified Programs And Proofs First International Conference Cpp 2011 Kenting Taiwan December 79 2011 Proceedingsde Zhong ShaoMateriasMathematical Logic and Formal LanguagesSoftware engineeringAlgebraSymbolic and Algebraic ManipulationLogic designLogics and Meanings of ProgramsComputer scienceData processingProgramming Languages, Compilers, Interpreters
