2020_Book_ComputerAidedVerification.pdf (Springer Nature, 2020)