formal specification Формальний опис Джерело: Англо-український словник технічних термінів на Slovnyk.me formal proof formal theory