APA (7th ed.) Zitazioa
Ogata, K., Mery, D., Sun, M., & Liu, S. (2024). Formal Methods and Software Engineering. Springer Nature.
Chicago Style (17th ed.) Zitazioa
Ogata, Kazuhiro, Dominique Mery, Meng Sun, eta Shaoying Liu. Formal Methods and Software Engineering. Springer Nature, 2024.
MLA (9th ed.) Zitazioa
Ogata, Kazuhiro, et al. Formal Methods and Software Engineering. Springer Nature, 2024.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.