APA引文

Havelund, K., Peleska, J., Roscoe, B., & Vink, E. d. (2020). Formal Methods. Springer International Publishing.

Trích dẫn kiểu Chicago

Havelund, Klaus, Jan Peleska, Bill Roscoe, và Erik de Vink. Formal Methods. Springer International Publishing, 2020.

MLA引文

Havelund, Klaus, Jan Peleska, Bill Roscoe, và Erik de Vink. Formal Methods. Springer International Publishing, 2020.

警告：这些引文格式不一定是100％准确.