DOROSHENKO, A. .; ЯЦЕНКО, О. . Formal methods of parallel software design automation . Reports of the National Academy of Sciences of Ukraine, Kyiv, Ukraine, n. 6, p. 15–20, 2024. DOI: 10.15407/dopovidi2020.06.015. Disponível em: https://nasu-periodicals.org.ua/index.php/dp/article/view/2020-6-3. Acesso em: 5 jun. 2025.