Verified Software: Theories, Tools, Experiments: Third ...
Preview
Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 , Proceedings Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani. Gary T. Leavens Peter O'Hearn Sriram K. Rajamani (Eds.) Verified Software: Theories, Tools ...