Is Transition Systems Approach of Modeling Software Systems Hard to Learn and Use?

Publication
Proceedings of the ACM Conference on Global Computing Education Vol 2, CompEd 2023, Hyderabad, India, December 5-9, 2023