Дубко Анатолий Владимирович

Anatoliy Vladimirovich Dubko
Дубко АнатолийВладимирович
Россия, Екатеринбург
Область научных интересов
Место работы и должность
  • СКБ Контур — инженер-программист
Адрес электронной почты
Список статей в журнале СИ:
Старолетов С.М. Дубко А.В. Метод верификации параллельного и распределенного программного обеспечения на C# путем проведения трансформации абстрактного синтаксического дерева Roslyn в модель на Promela // Системная информатика. — . — № 15.  — С. 13-44