Q: A Sound Verification Framework for Statecharts and Their Implementations
Conference proceeding (November 2022)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
Conference proceeding (November 2022)
Book chapter in Human–Computer Interaction Series (April 2017)
Article in Procedia Computer Science (January 2016)