Dubko Anatoliy Vladimirovich | System Informatics

Anatoliy Vladimirovich Dubko

Russia, Yekaterinburg

Research area

Affiliation & position

E-mail

List of Articles in System Informatics:

S. Staroletov A. Dubko 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