Literature for
Program Analysis
Link to the Homepage:
Program Analysis
Rival, Xavier and Yi, Kwangkeun
Introduction to Static Analysis: An Abstract Interpretation Perspective
Cambridge
2020
print:
RIV x 2020:1 1.Ex