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-Zitierstil (17. Ausg.)Bowen, Jonathan P., Qin Li, und Qiwen Xu. Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Cham: Springer, 2023.
MLA-Zitierstil (9. Ausg.)Bowen, Jonathan P., et al. Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Springer, 2023.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.