Kwangkeun Yi Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings SAS Lecture Notes in Computer Science 4134 Springer 2006 3-540-37756-5 db/conf/sas/sas2006.html