Verification, Model Checking, and Abstract InterpretationFritz Henglein, Sharon Shoham, Yakir Vizel₹2,985
