Персоналии RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB     Мордань Виталий Олегович https://www.mathnet.ru/rus/person129076 Список публикаций на Google Scholar Публикации в базе данных Math-Net.Ru Цитирования 2017 1. В. О. Мордань, “Комбинация методов статической верификации композиции требований”, Труды ИСП РАН, 29:3 (2017),  151–170     Организации Институт системного программирования РАН