Cita APA (7a ed.)

Daggitt, M. L., Kokke, W., Atkey, R., Komendantskaya, E., Slusarz, N., & Arnaboldi, L. (2024). Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs.

Cita Chicago Style (17a ed.)

Daggitt, Matthew L., Wen Kokke, Robert Atkey, Ekaterina Komendantskaya, Natalia Slusarz, y Luca Arnaboldi. Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs. 2024.

Cita MLA (9a ed.)

Daggitt, Matthew L., et al. Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs. 2024.