2025. Формальні методи верифікації програмного забезпечення: сучасні підходи та виклики. Інформатика. Культура. Техніка. 2, (Лис 2025), 48–53. DOI:https://doi.org/10.15276/ict.02.2025.06.