Inproceedings,

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)

Meta data

Tags

Users

  • @dblp

Comments and Reviews