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