도서 이미지 새창 보기

Introduction to Static Analysis: An Abstract Interpretation Perspective