Gagandeep Singh, Caterina Urban Static Analysis - Springer Springer 2022 ISBN: 9783031223082 Source: EBOOK