A Traceability Technique for Specifications

Cite this paper

@inproceedings{Abadi2008ATT, title={A Traceability Technique for Specifications}, author={Ahron Abadi and Mordechai Nisenson and Yahalomit Simionovici}, booktitle={ICPC}, year={2008} }