Παραπομπή σε μορφή APA (7η εκδ.)

Chakraborty, S., Ebner, G., Bhat, S., Fakhoury, S., Fatima, S., Lahiri, S., & Swamy, N. (2025). Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. ICSE: International Conference on Software Engineering, 1903.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Chakraborty, Saikat, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, και Nikhil Swamy. "Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming." ICSE: International Conference on Software Engineering 2025: 1903.

Παραπομπή σε μορφή MLA (9th εκδ.)

Chakraborty, Saikat, et al. "Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming." ICSE: International Conference on Software Engineering, 2025, p. 1903.