\input zb-basic
\input zb-ioport
\iteman{io-port 05973324}
\itemau{Jouannaud, Jean-Pierre (ed.); Shao, Zhong (ed.)}
\itemti{Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7--9, 2011. Proceedings.}
\itemso{Lecture Notes in Computer Science 7086. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). xv, 401~p. EUR~66.34 (2011).}
\itemab
The articles of this volume will be reviewed individually.
\itemrv{~}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-25379-9}
\end