Anatoliy Vladimirovich Dubko Russian Federation, Yekaterinburg Research area program verification Affiliation & position СКБ Контур — software engineer E-mail anatoli.dubko@gmail.comdubko.cs@gmail.com
Staroletov S., Dubko A. A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model // System Informatics. — 2019. — # 15. — P. 13-44