Formally Verified Animation for RoboChart Using Interaction Trees

Kangfeng Ye*, Simon Foster, Jim Woodcock

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Filter
Active

Search results