APA Citation

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 Citation

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

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.