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

A conference presentation for our paper - Formally Verified Animation for RoboChart Using Interaction Trees
Kangfeng Ye (Speaker)
26 Oct 2022
Activity: Talk or presentation › Talk