Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

MLA

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. Springer, 2023.

APA

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

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. : Springer, 2023.