Publications

A traceability technique for specifications

• • Aharon Abadi
  • Mordechai Nisenson
  • et al.
• 2008
• ICPC 2008