Ahron Abadi, Mordechai Nisenson, Yahalomit Simionovici. A Traceability Technique for Specifications. In René L. Krikhaar, Ralf Lämmel, Chris Verhoef, editors, The 16th IEEE International Conference on Program Comprehension, ICPC 2008, Amsterdam, The Netherlands, June 10-13, 2008. pages 103-112, IEEE Computer Society, 2008. [doi]
Abstract is missing.