Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.