Paolo Ciancarini, Stelvio Cimato, Cecilia Mascolo. Engineering Formal Requirements: Analysis and Testing. In SEKE. pages 385-392, 1996.
@inproceedings{CiancariniCM96,
title = {Engineering Formal Requirements: Analysis and Testing},
author = {Paolo Ciancarini and Stelvio Cimato and Cecilia Mascolo},
year = {1996},
tags = {testing, analysis, requirements engineering},
researchr = {https://researchr.org/publication/CiancariniCM96},
cites = {0},
citedby = {0},
pages = {385-392},
booktitle = {SEKE},
}