Verification, Model Checking, and Abstract InterpretationRayna Dimitrova, Ori Lahav, Sebastian Wolff · First published 2024Open the Tome
