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.

警告：这些引文格式不一定是100％准确.