Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.