Zakharov Ilya Sergeyevich

Publications in Math-Net.Ru

1. Expert assessment of verification tool results
   
   Proceedings of ISP RAS, 32:5 (2020),  7–20
2. Incremental development of environment model and requirement specifications for subsystems of operating system monolithic kernels
   
   Proceedings of ISP RAS, 29:6 (2017),  25–48