ГЕЙКО, О.; ВАРАВА, І. ЕТАЛОННА АРХІТЕКТУРА ДЛЯ ПРОГРАМНОЇ ПЛАТФОРМИ ВЕРИФІКАЦІЇ МАТЕМАТИЧНИХ МОДЕЛЕЙ. Інформаційні технології та суспільство, [S. l.], n. 2 (13), p. 17-25, 2024. DOI: 10.32689/maup.it.2024.2.3. Disponível em: http://journals.maup.com.ua/index.php/it/article/view/3934. Acesso em: 9 лис. 2024.