\input zb-basic
\input zb-ioport
\iteman{io-port 06011475}
\itemau{Joshi, Rajeev (ed.); M\"uller, Peter (ed.); Podelski, Andreas (ed.)}
\itemti{Verified software: Theories, tools, experiments. 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28--29, 2012. Proceedings.}
\itemso{Lecture Notes in Computer Science 7152. Berlin: Springer (ISBN 978-3-642-27704-7/pbk). x, 327~p. EUR~57.78 (2012).}
\itemab
For the preceding conference see Zbl 1193.68011.
\itemrv{~}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-27705-4}
\end