Doroshenko, A. ., & Яценко, О. . (2024). Formal methods of parallel software design automation . Reports of the National Academy of Sciences of Ukraine, (6), 15–20. https://doi.org/10.15407/dopovidi2020.06.015