Rose F. Gamble. Integrating a formal specification course with a software projects course via an editing tool. In Cary Laxer, Curt M. White, James E. Miller, Judith L. Gersting, editors, Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995, Nashville, Tennessee, USA, March 2-4, 1995. pages 312-316, ACM, 1995. [doi]
Abstract is missing.