Сборник тезисов
Конференция:IV Всероссийский конгресс молодых ученых
Раздел:Информационные и интеллектуальные системы и технологии
Рубрика:Информационные системы и технологии
Год:2015
Применение правил редукции для верификации рефакторных преобразований структуры программ в языке программирования Featherweight Java
УДК:004.415.52