Παραπομπή APA

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

Παραπομπή Chicago Style

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

Παραπομπή MLA

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

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.