Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Vladimir Itsykson , Andre Šcedrov , Victor Zakharov