fomalization index索引: index; indexing; key; repert ...形式化: formalise; formalisierung; formalization; formalize使形式化: formalize formalize形式化測試: formal testing形式化的: formalized下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯