Verification, Model Checking, and Abstract Interpretation (4, 2023) |608 kr.På lagerBookTok.dk Fra PriceRunner