Verified Software. Theories, Tools, and Experiments - Supratik Chakraborty, Jorge A. Navas (Springer, 2020)