"Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings (Lecture Notes in Computer Science, 6337)" - читать интересную книгу автора (Radhia Cousot, Matthieu Martel)