Verification, Model Checking, and Abstract InterpretationAhmed Bouajjani, David Monniaux · First published 2017Open the Tome
