Silaev Andrey Nikolaevich

Publications in Math-Net.Ru

1. Verification of automatic algorithms based on partial description of input sequences
   
   Uchenyye zapiski UlGU. Seriya "Matematika i informatsionnyye tekhnologii", 2025, no. 1,  58–69