Cita APA (7a ed.)

Yan, F., Foster, S., Cavalcanti, A., Habli, I., & Baxter, J. (2026). Formal Evidence Generation for Assurance Cases for Robotic Software Models.

Cita Chicago Style (17a ed.)

Yan, Fang, Simon Foster, Ana Cavalcanti, Ibrahim Habli, y James Baxter. Formal Evidence Generation for Assurance Cases for Robotic Software Models. 2026.

Cita MLA (9a ed.)

Yan, Fang, et al. Formal Evidence Generation for Assurance Cases for Robotic Software Models. 2026.