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