Jacob LaurelBooksSafety and Trust in Artificial Intelligence with Abstract InterpretationAuthor data: Open Library