APA (7th ed.) Citation
Bowen, J. P., Li, Q., & Xu, Q. (2023). Theories of Programming and Formal Methods. Springer Nature.
Chicago Style (17th ed.) Citation
Bowen, Jonathan P., Qin Li, and Qiwen Xu. Theories of Programming and Formal Methods. Springer Nature, 2023.
MLA (9th ed.) Citation
Bowen, Jonathan P., et al. Theories of Programming and Formal Methods. Springer Nature, 2023.
Warning: These citations may not always be 100% accurate.