"Static analysis : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings" - читать интересную книгу автора (Antoine Miné; David A Schmidt )