Verification, Model Checking, and Abstract InterpretationFrancesco Logozzo, Doron A. Peled, Leonore D. Zuck · First published 2008Open the Tome
