Citace podle APA

Drechsler, R. (2020). Formal System Verification. 1st ed. 2018. Springer International Publishing.

Styl Chicago

Drechsler, Rolf. Formal System Verification. 1st Ed. 2018. Springer International Publishing, 2020.

Citace podle MLA

Drechsler, Rolf. Formal System Verification. 1st Ed. 2018. Springer International Publishing, 2020.

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