ГЕЙКО, О., і І. ВАРАВА. «ЕТАЛОННА АРХІТЕКТУРА ДЛЯ ПРОГРАМНОЇ ПЛАТФОРМИ ВЕРИФІКАЦІЇ МАТЕМАТИЧНИХ МОДЕЛЕЙ». Інформаційні технології та суспільство, вип. 2 (13), Серпень 2024, с. 17-25, doi:10.32689/maup.it.2024.2.3.