Персоналии RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB     Кулик Томаш https://www.mathnet.ru/rus/person141161 Список публикаций на Google Scholar Публикации в базе данных Math-Net.Ru Цитирования 2018 1. Tomas Kulik, Peter Gorm Larsen, “Towards formal verification of cyber security standards”, Труды ИСП РАН, 30:4 (2018),  79–94     5 Организации University of Aarhus