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

Hwang, Y., Lee, C. P., Porfirio, D., Hiatt, L. M., & Mutlu, B. (2026). Formal methods in robot end user development: Progress, gaps, and opportunities. Foundations & Trends in Robotics, 13(3), 273. https://doi.org/10.1108/FTROB-05-2025-0083

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

Hwang, Yuna, Christine P. Lee, David Porfirio, Laura M. Hiatt, και Bilge Mutlu. "Formal Methods in Robot End User Development: Progress, Gaps, and Opportunities." Foundations & Trends in Robotics 13, no. 3 (2026): 273. https://doi.org/10.1108/FTROB-05-2025-0083.

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

Hwang, Yuna, et al. "Formal Methods in Robot End User Development: Progress, Gaps, and Opportunities." Foundations & Trends in Robotics, vol. 13, no. 3, 2026, p. 273, https://doi.org/10.1108/FTROB-05-2025-0083.