"Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings: Second International Symposium, SAS '95, ... 2nd " - читать интересную книгу автора (Alan Mycroft)