Жуков Д Ю

Публикации в базе данных Math-Net.Ru

1. Математическая модель и методы верификации программных систем
   
   ИТиВС, 2005, № 1,  49–67