Z

Animation of RoboChart with Interaction Trees
Animation of RoboChart using Interaction Trees based CSP and code generation in Isabelle
Oct 6, 2021
Project
Animation of RoboChart with Interaction Trees