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