Challenges of Software Verification - Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro; Olliaro, Martina (Singapore Springer, 2023)