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. Springer.
Chicago Style (17th ed.) CitationBowen, 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. Cham: Springer, 2023.
MLA (9th ed.) CitationBowen, Jonathan P., et al. Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Springer, 2023.
Warning: These citations may not always be 100% accurate.