Kangfeng Ye - Activities - York Research Database

Phone(01904) 325428
Emailkangfeng.yeyork.acuk

1 Public engagement and outreach (general)
1 Invited talk
1 Talk
1 Workshop

1 results
- Title
- Start date(ascending)

Filter

Tutorial on Isabelle/UTP
Kangfeng Ye (Speaker) & Zhiming Liu (Chair)
14 May 2019 → 15 May 2019
Activity: Talk or presentation › Workshop