ГЕЙКО О, ВАРАВА І. ЕТАЛОННА АРХІТЕКТУРА ДЛЯ ПРОГРАМНОЇ ПЛАТФОРМИ ВЕРИФІКАЦІЇ МАТЕМАТИЧНИХ МОДЕЛЕЙ. info-tech [інтернет]. 13, Серпень 2024 [цит. за 09, Листопад 2024];(2 (13):17-25. доступний у: http://journals.maup.com.ua/index.php/it/article/view/3934