Making sense of healthcare benefitsJonathan BnayahuMaayan Goldsteinet al.2012ICSE 2012Conference paper
A traceability technique for specificationsAharon AbadiMordechai Nisensonet al.2008ICPC 2008Conference paper