Challenges of Software Verification - Arceri, Vincenzo. (Springer, 2023)