上海交大研究生院主页平台管理系统汪宇霆--中文主页-- A Higher-Order Framework for Meta-Theoretic Reasoning

汪宇霆

副教授

所在单位：电子信息与电气工程学院

学科：计算机软件与理论(081202)

职称：副教授

电子邮箱：yuting.wang@sjtu.edu.cn

教师主页二维码

手机版

常用链接

科研项目

当前位置: 中文主页 - 科学研究 - 科研项目

A Higher-Order Framework for Meta-Theoretic Reasoning

发布时间：2020-05-07

项目参与人员：汪宇霆

学科门类：计算机科学技术基础学科

结项日期：2020-12-01

开始日期：2016-01-01

上一条：Formal End-to-End Verification of Information-Flow Security for Complex Systems

下一条：The Science of Deep Specification

沪ICP备05052060 版权所有©上海交通大学

访问人数： | 开通时间：--

最近更新时间：--