Ewen Denney, Ganesh Pai. Tool support for assurance case development. Automated Software Engineering, 25(3):435-499, 2018. [doi]
@article{DenneyP18,
title = {Tool support for assurance case development},
author = {Ewen Denney and Ganesh Pai},
year = {2018},
doi = {10.1007/s10515-017-0230-5},
url = {https://doi.org/10.1007/s10515-017-0230-5},
researchr = {https://researchr.org/publication/DenneyP18},
cites = {0},
citedby = {0},
journal = {Automated Software Engineering},
volume = {25},
number = {3},
pages = {435-499},
}