Кулик Томаш

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

1. Towards formal verification of cyber security standards
   
   Труды ИСП РАН, 30:4 (2018),  79–94