APA (7th ed.) Citation

Masuda, M., & Kameyama, Y. (2022). Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform. Functional and Logic Programming, 13215, 133-151. https://doi.org/10.1007/978-3-030-99461-7_8

Chicago Style (17th ed.) Citation

Masuda, Masahiro, and Yukiyoshi Kameyama. "Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform." Functional and Logic Programming 13215 (2022): 133-151. https://doi.org/10.1007/978-3-030-99461-7_8.

MLA (9th ed.) Citation

Masuda, Masahiro, and Yukiyoshi Kameyama. "Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform." Functional and Logic Programming, vol. 13215, 2022, pp. 133-151, https://doi.org/10.1007/978-3-030-99461-7_8.