formalspecification

英 [fɔːmlspe'sɪfɪkeɪʃn] 美 [fɔːmlspe'sɪfɪkeɪʃn]

• 形式化规约