Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings - Leavens, Gary T (Springer-Verlag Berlin Heidelberg, 2010)