Putrya Fedor Mikhailovich

Publications in Math-Net.Ru

1. The practice and prospects of using open and proprietary software solutions in the verification route of SoC
   
   Proceedings of ISP RAS, 34:5 (2022),  23–42