"Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings" - читать интересную книгу автора (Kwangkeun Yi)