Certified Programs And Proofs First International Conference Cpp 2011 Kenting Taiwan December 79 2011 ProceedingsZhong Shao · First published 2011Open the Tome
Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesZhong Shao · First published 2009Open the Tome