Полный русско-английский словарь
формальная аппроксимация
Мат. formal approximation
Полный русско-английский словарь
формальная аксиоматика
формальная верификация