Citace podle APA

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

Styl Chicago

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

Citace podle MLA

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

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..