Subject
General Computer Science,Theoretical Computer Science
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Teaching Model Checking via Games and Puzzles;Communications in Computer and Information Science;2021
2. Does learning by doing have a positive impact on teaching model checking?;Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence - EASEAI 2019;2019
3. Storytelling and puzzles in a software engineering course;ACM SIGCSE Bulletin;2006-03-31
4. Can American Checkers be Solved by Means of Symbolic Model Checking?;Electronic Notes in Theoretical Computer Science;2001-05