Ann E. Kelley Sobel. Experience integrating a formal method into a software engineering course. In John Impagliazzo, Elizabeth S. Adams, Karl J. Klee, editors, Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education, 1996, Philadelphia, Pennsylvania, USA, February 15-17, 1996. pages 271-274, ACM, 1996. [doi]
Abstract is missing.