APA ציטוט

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

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