You are about to access our book library "[(Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings )] [Author: Yi Kwangkeun] [Sep-2006] full version" .