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