- Gary T. Leavens, Peter W. O Hearn, Sriram K. Rajamani, editors, Verified Software: Theories, Tools, Experiments, Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings. Volume 6217 of Lecture Notes in Computer Science, Springer, 2010.