Hamid Bagheri, Eunsuk Kang, Niloofar Mansoor. Synthesis of assurance cases for software certification. In Gregg Rothermel, Doo-Hwan Bae, editors, ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June - 19 July, 2020. pages 61-64, ACM, 2020. [doi]
@inproceedings{BagheriKM20, title = {Synthesis of assurance cases for software certification}, author = {Hamid Bagheri and Eunsuk Kang and Niloofar Mansoor}, year = {2020}, doi = {10.1145/3377816.3381728}, url = {https://doi.org/10.1145/3377816.3381728}, researchr = {https://researchr.org/publication/BagheriKM20}, cites = {0}, citedby = {0}, pages = {61-64}, booktitle = {ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June - 19 July, 2020}, editor = {Gregg Rothermel and Doo-Hwan Bae}, publisher = {ACM}, isbn = {978-1-4503-7126-1}, }