搜索个人学术档案 - 学术资源搜索

个人学术档案

我的图书馆

Pedro Ribeiro

Lecturer at the Department of Computer Science, University of York

在 york.ac.uk 的电子邮件经过验证

被引用次数：450

Formal Methods Process Algebra UTP Theorem Proving Software Engineering

Biswanath Basak

IIT Kharagpur, Jadavpur University

在 iitkgp.ac.in 的电子邮件经过验证

被引用次数：50

AGI/ASI Psyc UTP CG AR/VR

Feng Sheng

East China Normal University

在 stu.ecnu.edu.cn 的电子邮件经过验证

被引用次数：25

Formal Methods UTP Deep Learning