Verified software theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings / - Leavens, Gary T.; O'Hearn, Peter W.; Rajamani, Sriram K., (Springer,)