规范用词霍尔逻辑
英文对照Hoare logic
所属学科计算机科学技术 > 计算机科学理论
名词审定计算机科学技术名词审定委员会
见载刊物《计算机科学技术名词（第二版）》 科学出版社
公布时间2002年
