>

formalized computer program

📖 中文释义

  1. [计] 形式化计算机程序