Certified programs and proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings /

অনুযায়ী CPP 2011 (Conferência), Jouannaud, Jean-Pierre., Shao, Zhong.
প্রকাশিত 2011.