ГЕЙКО, Олег, і Іван ВАРАВА. «ЕТАЛОННА АРХІТЕКТУРА ДЛЯ ПРОГРАМНОЇ ПЛАТФОРМИ ВЕРИФІКАЦІЇ МАТЕМАТИЧНИХ МОДЕЛЕЙ». Інформаційні технології та суспільство, no. 2 (13) (Серпень 13, 2024): 17-25. дата звернення Листопад 9, 2024. http://journals.maup.com.ua/index.php/it/article/view/3934.