Verification, Model Checking, and Abstract InterpretationFritz Henglein, Sharon Shoham, Yakir Vizel₹7,012
