Deismireacht APA

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.

Deismireacht MLA

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

Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.