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