semantic form

英 美
  • 语义形式
  • form n.形式;形状;表格;良好的健康状态;表现状态;常规v.形成;建立
  • semantic adj.语义的
    1. He is also concerned with the verification of security protocols through semantic formalisms and type checking.
      他关注的领域还有通过语义形式和类型检查对安全性协议进行验证。