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