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]
No references recorded for this publication.
No citations of this publication recorded.