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