Doroshenko A, Яценко О. Formal methods of parallel software design automation . Dopov. Nac. akad. nauk Ukr. [Internet]. 2020 Jun. 28 [cited 2026 Jun. 19];(6):15-20. Available from: https://nasu-periodicals.org.ua/index.php/dp/article/view/2020-6-3