Проверяемая интеграция данных: автоматизированная верификация с помощью нового метода

Ученые МГУ представили новый метод для автоматизированной верификации корректности интеграции данных в модели...