Mordechai Ben-Ari;Alan Burns
-;-
Teaching concurrency and nondeterminism with spin
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
A primer on model checking
ACM Inroads