Paolo Ciancarini, Stelvio Cimato, Cecilia Mascolo
Engineering Formal Requirements: Analysis and Testing
SEKE, 1996.
@inproceedings{SEKE-1996-CiancariniCM,
author = "Paolo Ciancarini and Stelvio Cimato and Cecilia Mascolo",
booktitle = "{Proceedings of the Eighth International Conference on Software Engineering and Knowledge Engineering}",
isbn = "0-9641699-3-2",
pages = "385--392",
publisher = "{Knowledge Systems Institute}",
title = "{Engineering Formal Requirements: Analysis and Testing}",
year = 1996,
}