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.

Precaución: Estas citas no son 100% exactas.