Trích dẫn 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.

Trích dẫn MLA

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

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.