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