06011475

b

06011475 Joshi, Rajeev (ed.) M\"uller, Peter (ed.) Podelski, Andreas (ed.) Verified software: Theories, tools, experiments. 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28--29, 2012. Proceedings. Lecture Notes in Computer Science 7152. Berlin: Springer (ISBN 978-3-642-27704-7/pbk). x, 327~p. EUR~57.78 (2012). 2012 Berlin: Springer EN Zbl 1193.68011

doi:10.1007/978-3-642-27705-4

For the preceding conference see Zbl 1193.68011.