Certified programs and proofs: first international conference, CPP 2011, Kenting… by Jouannaud, Jean-Pierre, CPP (Conference), Kʻen-ting, Taiwan), Shao, Zhong fromLecture Notes in Computer Science 0 Type: Book
