A Traceability Technique for Specifications

Sorry, there's nothing here.
Citations per Year

134 Citations

Semantic Scholar estimates that this publication has 134 citations based on the available data.

See our FAQ for additional information.

Cite this paper

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