Static Analysis : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings - Kwangkeun Yi ((Lecture Notes in Computer Science))