Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.