@dblp

A Case Study Involving the Use of Z to Aid Requirements Specification in the Software Engineering Course.

, and . CSEE&T, page 84-90. IEEE Computer Society, (2004)

Links and resources

Tags