一个等价于高阶递归格式的模态微积分模型检验的类型系统| IEEE会议出版物| IEEE Xplore

IEEE帐户

采购详细信息

个人资料信息

需要帮助吗？

  • 美国和加拿大：+1 800 678 4333
  • 全球范围：+1 732 981 0060
  • 联系和支持

IEEE是一个非营利组织，是世界上最大的技术专业组织，致力于为人类的利益推动技术进步。
©2024 IEEE版权所有-保留所有权利。使用本网站表示您同意这些条款和条件。