Terms for subject Technology containing formals

English	Russian
formal report number	номер официального отчёта
formal specification language	язык формальных спецификаций