Verified Software. Theories, Tools, and Experiments - Blazy; Chechik, Marsha (Springer International Publishing, 2016)