Salamah Salamah, Ann Q. Gates. A Technique for Using Model Checkers to Teach Formal Specifications. In Hossein Saiedian, Laurie A. Williams, editors, Proceedings 21st Conference on Software Engineering Education and Training, CSEET 2008, 14-17 April 2008, Charleston, South Carolina, USA. pages 181-188, IEEE Computer Society, 2008. [doi]
Abstract is missing.