@misc{indiciae77b09507ca43,
  title = {Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models},
  author = {Zezhong Chen and Yuxin Deng and Wenjie Du},
  year = {2023},
  url = {https://arxiv.org/abs/2309.12941},
  note = {Source identifier: 2309.12941}
}