Yi, Kwangkeun books & textbook
Introduction to Static Analysis: An Abstract Interpretation Perspective (Mit Press)
The MIT Press /2020-02-11 Hardcover / 320 Pages
isbn-10: 0262043416 / isbn-13: 9780262043410
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings (Lecture Notes in Computer Science, 4134)
Springer /2006-08-17 Paperback / 456 Pages
isbn-10: 3540377565 / isbn-13: 9783540377566
Programming Languages and Systems: Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings (Lecture Notes in Computer Science, 3780)
Springer /2005-10-21 Paperback / 451 Pages
isbn-10: 3540297359 / isbn-13: 9783540297352
