>

formal description language

📖 中文释义

  1. [计] 形式描述语言