formal proof

Формальне доведення

Англо-український словник технічних термінів