SpringerLink (Online service), Bowen, J. P., Li, Q., & Xu, Q. (2023). Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday (1st ed. 2023.). Springer Nature Switzerland : Imprint: Springer. https://doi.org/10.1007/978-3-031-40436-8
Цитирование в стиле Чикаго (17-е изд.)SpringerLink (Online service), Jonathan P. Bowen, Qin Li, и Qiwen Xu. Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. 1st ed. 2023. Cham: Springer Nature Switzerland : Imprint: Springer, 2023. https://doi.org/10.1007/978-3-031-40436-8.
Цитирование MLA (9-е изд.)SpringerLink (Online service), et al. Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. 1st ed. 2023. Springer Nature Switzerland : Imprint: Springer, 2023. https://doi.org/10.1007/978-3-031-40436-8.