Verified Software. Theories, Tools, and Experiments - Ruzica Piskac, Philipp Rümmer (Springer, 2018)