Zhukov D Yu

Publications in Math-Net.Ru

1. Математическая модель и методы верификации программных систем
   
   Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2005, no. 1,  49–67