@misc{indiciae1ce9f45d9754, title = {SmartGSN: an online tool to semi-automatically manage assurance cases}, author = {Oluwafemi Odu and Daniel Méndez Beltran and Emiliano Berrones Gutiérrez and Alvine B. Belle and Gerhard Yu and Melika Sherafat}, year = {2025}, url = {https://arxiv.org/abs/2410.16675}, note = {Source identifier: 2410.16675} }