Author Details | Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems»

Skip to main content Skip to main navigation menu Skip to site footer

Savchenko, Roman Valeriyovich, Ukraine

Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems» Vol. 46 (2020) - Статті
Analysis of existing parallel programs verification technologies
Abstract PDF