"Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings: Third International Symposium, SAS ... 3rd " - читать интересную книгу автора (Radhia Cousot, David A. Schmidt)