Черешнев, Евгений Сергеевич; en: Chereshnev, Evgeny Sergeevich
(2014-06)
Объект исследования: предметно-ориентированные системы переходов (унифицированный формализм для описания средств дедуктивной верификации программ) и язык выполнимых спецификаций предметно-ориентированных систем переходов ...