Aphrodite Tsalgatidou, Dimitris Gouscos, Constantin Halatsis
Specifiying and Validating Requirements: The VENUS System
TOOLS, 1994.
@inproceedings{TOOLS-EUROPE-1994-TsalgatidouGH,
author = "Aphrodite Tsalgatidou and Dimitris Gouscos and Constantin Halatsis",
booktitle = "{Proceedings of the 13th International Conference on Technology of Object-Oriented Languages and Systems}",
isbn = "0-13-350539-1",
pages = "89--102",
publisher = "{Prentice Hall}",
title = "{Specifiying and Validating Requirements: The VENUS System}",
year = 1994,
}