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