"Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture Notes ... Programming and Software Engineering)" - читать интересную книгу автора (Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani)