Zhong Shao

• Certified Programs And Proofs First International Conference Cpp 2011 Kenting Taiwan December 79 2011 Proceedings
• Suzhou gu dian yuan lin yi shu
• Zhongguo Su pai pen jing ming jia ji
• Certified Programs and Proofs
• Damp'09
• Huan cheng yuan ting meng Suzhou
• Jiang nan ming yuan lu =
• Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• Programming Languages and Systems
• Suzhou pen jing ji yi
• Wu zhong ming xian zhuan zan
• Zhongguo shan shui pen jing yi shu =