Cita APA (7a ed.)

Karmios, N., Ayoun, S., & Gardner, P. (2026). Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version.

Cita Chicago Style (17a ed.)

Karmios, Nat, Sacha-Élie Ayoun, y Philippa Gardner. Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version. 2026.

Cita MLA (9a ed.)

Karmios, Nat, et al. Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version. 2026.