APA (7th ed.) Citation

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. https://doi.org/10.1007/978-3-031-40436-8

Chicago Style (17th ed.) Citation

Bowen, Jonathan P., Qin Li, and 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, 2023. https://doi.org/10.1007/978-3-031-40436-8.

MLA (9th ed.) Citation

Bowen, Jonathan P., 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, 2023. https://doi.org/10.1007/978-3-031-40436-8.