Gorokhov, A. &
Grigorev, S.,
1 янв 2018,
Tools and Methods of Program Analysis - 4th International Conference, TMPA 2017, Revised Selected Papers. Zakharov, V., Itsykson, V. & Scedrov, A. (ред.).
Springer Nature,
стр. 24-37 14 стр. (Communications in Computer and Information Science; том 779).
Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование