Kulkarni, V.,
Emelyanov, P.,
Ponomaryov, D.,
Krishna, M.,
Raha, S. &
Nandy, S. K.,
16 дек. 2019, (Электронная публикация перед печатью)
Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.).
Springer International Publishing AG,
стр. 80-94 15 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).
Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование