Cita APA

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

Citación estilo Chicago

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

Cita 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%.