Ori LahavBooksVerification, Model Checking, and Abstract InterpretationAquatic ChemistryAuthor data: Open Library