Anna Kalenkova, Jose A. Lozano, Rostislav Yavorskiy Tools and Methods of Program Analysis - Springer Springer 2021 ISBN: 9783030714727 Source: EBOOK