Gratinskiy Vladimir Anatolyevich

Publications in Math-Net.Ru

1. Expert assessment of verification tool results
   
   Proceedings of ISP RAS, 32:5 (2020),  7–20