Literature for Program Analysis


Link to the Homepage: Program Analysis


no image available Rival, Xavier and Yi, Kwangkeun
Introduction to Static Analysis: An Abstract Interpretation Perspective
Cambridge 2020
  • print: RIV x 2020:1 1.Ex