Дубко Анатолий Владимирович Россия, Екатеринбург Область научных интересов верификация программ Место работы и должность СКБ Контур — инженер-программист Адрес электронной почты anatoli.dubko@gmail.com dubko.cs@gmail.com
Старолетов С.М., Дубко А.В. Метод верификации параллельного и распределенного программного обеспечения на C# путем проведения трансформации абстрактного синтаксического дерева Roslyn в модель на Promela // Системная информатика. — 2019. — № 15. — С. 13-44
