APA (7th ed.) Citation

Kobayashi, N., Sekiyama, T., Sato, I., & Unno, H. (2025). Towards neural-network-guided program synthesis and verification. Formal Methods in System Design, 67(2), 222. https://doi.org/10.1007/s10703-024-00468-9

Chicago Style (17th ed.) Citation

Kobayashi, Naoki, Taro Sekiyama, Issei Sato, and Hiroshi Unno. "Towards Neural-network-guided Program Synthesis and Verification." Formal Methods in System Design 67, no. 2 (2025): 222. https://doi.org/10.1007/s10703-024-00468-9.

MLA (9th ed.) Citation

Kobayashi, Naoki, et al. "Towards Neural-network-guided Program Synthesis and Verification." Formal Methods in System Design, vol. 67, no. 2, 2025, p. 222, https://doi.org/10.1007/s10703-024-00468-9.