APA citiranje

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

Trích dẫn kiểu Chicago

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

MLA citiranje

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

Opozorilo: Ti citati niso vedno 100% točni.