Citazione APA

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

Stile di citazione Chicago

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

Citazione MLA

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

Attenzione: Queste citazioni potrebbero non essere precise al 100%.