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