APA引文
Chechik, M., Katoen, J., & Leucker, M. (2023). Formal Methods. Springer Nature.
Chicago Style (17th ed.) Citation
Chechik, Marsha, Joost-Pieter Katoen, and Martin Leucker. Formal Methods. Springer Nature, 2023.
MLA引文
Chechik, Marsha, et al. Formal Methods. Springer Nature, 2023.
警告：這些引文格式不一定是100％准確.