Дорошенко , А.Ю. 2025. Формальні та інтелектуальні методи автоматизації проєктування програмних систем: Стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 року. Visnik Nacional noi academii nauk Ukrai ni. 4 (Квіт 2025), 63–79. DOI:https://doi.org/10.15407/visn2025.04.062.