Мордань Виталий Олегович

Публикации в базе данных Math-Net.Ru

1. Комбинация методов статической верификации композиции требований
   
   Труды ИСП РАН, 29:3 (2017),  151–170