A conference presentation for our paper - Formally Verified Animation for RoboChart Using Interaction Trees

Activity: Talk or presentationTalk

Description

A presentation given at ICFEM 2022
Period26 Oct 2022
Event title23rd International Conference on Formal Engineering Methods, ICFEM 2022
Event typeConference
LocationMadrid, SpainShow on map
Degree of RecognitionInternational