ISBN 0262043416 books & textbook

Introduction to Static Analysis: An Abstract Interpretation Perspective (Mit Press)

Rival, Xavier Yi, Kwangkeun

The MIT Press /2020-02-11 Hardcover / 320 Pages
isbn-10: 0262043416 / isbn-13: 9780262043410