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