Verified Software. Theories, Tools, and Experiments - Paskevich; Wies, Thomas (Springer International Publishing, 2017)