Дорошенко, А. ., & Yatsenko, O. . (2024). Формальні методи автоматизації проектування паралельних програм . Reports of the National Academy of Sciences of Ukraine, (6), 15–20. https://doi.org/10.15407/dopovidi2020.06.015