Сборник тезисов
Конференция:VI Всероссийский конгресс молодых ученых
Раздел:Информационные и интеллектуальные системы и технологии
Рубрика:Информационные технологии
Год:2016
Моделирование и визуализация выполнения многопоточных программ на Java в соответствии с формальной спецификацией
УДК:004.05:004.272.26