Certified programs and proofs: first international conference, CPP 2011, Kenting… by Jouannaud, Jean-Pierre, Shao, Zhong, CPP, Kending, CPP, Kenting), International Conference on Certified Programs and Proofs, Kenting) fromLecture Notes in Computer Science 0 Type: Book
Certified programs and proofs: First International Conference, CPP 2011, Kenting… fromLecture Notes in Computer Science 0 Type: Book
