Nalyutin Nikita Yur'evich

Publications in Math-Net.Ru

1. Test data generation based on a formal analysis of the project configuration
   
   Model. Anal. Inform. Sist., 17:4 (2010),  17–26