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