Verification, Model Checking, and Abstract InterpretationSriram Sankaranarayanan, Ashutosh Trivedi, Krishna Shankaranarayanan · First published 2025Open the Tome
