Gorokhov, A. &
Grigorev, S.,
1 Jan 2018,
Tools and Methods of Program Analysis - 4th International Conference, TMPA 2017, Revised Selected Papers. Zakharov, V., Itsykson, V. & Scedrov, A. (eds.).
Springer Nature,
p. 24-37 14 p. (Communications in Computer and Information Science; vol. 779).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
