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