Skip to main navigation
Skip to search
Skip to main content
York Research Database Home
Help & FAQ
Home
Researchers
Departments and Units
Publications
Projects
Activities
Datasets
Prizes
Search by expertise, name or affiliation
A conference presentation for our paper - Formally Verified Animation for RoboChart Using Interaction Trees
Ye, K.
(Speaker)
Computer Science
Activity
:
Talk or presentation
›
Talk
Description
A presentation given at ICFEM 2022
Period
26 Oct 2022
Event title
23rd International Conference on Formal Engineering Methods, ICFEM 2022
Event type
Conference
Location
Madrid, Spain
Show on map
Degree of Recognition
International
Documents & Links
Conference schedule
Linked paper
X