APA Citation

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

Chicago Style Citation

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

MLA Citation

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

Warning: These citations may not always be 100% accurate.