Kulik Tomas

Publications in Math-Net.Ru

1. Towards formal verification of cyber security standards
   
   Proceedings of ISP RAS, 30:4 (2018),  79–94