Rudina Ekaterina Alexandrovna

Publications in Math-Net.Ru

1. Software security by design
   
   Proceedings of ISP RAS, 36:5 (2024),  7–16