Formally verified animation for RoboChart using interaction trees

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 137; p. 100940
Main Authors Ye, Kangfeng, Foster, Simon, Woodcock, Jim
Format Journal Article
LanguageEnglish
Published 01.02.2024
Online AccessGet full text
ISSN2352-2208
DOI10.1016/j.jlamp.2023.100940

Cover

More Information
ISSN:2352-2208
DOI:10.1016/j.jlamp.2023.100940