Chakraborty, S., Ebner, G., Bhat, S., Fakhoury, S., Fatima, S., Lahiri, S., & Swamy, N. (2025, April 26). Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. Proceedings / International Conference on Software Engineering, 1755-1767. https://doi.org/10.1109/ICSE55347.2025.00002
Citace podle Chicago (17th ed.)Chakraborty, Saikat, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, a Nikhil Swamy. "Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming." Proceedings / International Conference on Software Engineering 26 Apr. 2025: 1755-1767. https://doi.org/10.1109/ICSE55347.2025.00002.
Citace podle MLA (9th ed.)Chakraborty, Saikat, et al. "Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming." Proceedings / International Conference on Software Engineering, 26 Apr. 2025, pp. 1755-1767, https://doi.org/10.1109/ICSE55347.2025.00002.