Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers - Itsykson, Vladimir; Itsykson, Vladimir; Scedrov, Andre; Scedrov, Andre; Zakharov, Victor; Zakharov, Victor (Springer International Publishing : Imprint: Springer, 2018)