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