Synthesis of assurance cases for software certification.

Hamid Bagheri, Eunsuk Kang, Niloofar Mansoor

Browse the full ICSE paper archive.