Software Engineering Education and Training, Conference on
A Case Study Involving the Use of Z to Aid Requirements Specification in the Software Engineering Course
DOI Bookmark: 10.1109/CSEE.2004.1276515
Software Engineering Education and Training, Conference on