APA Citation

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

Chicago Style Citation

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

MLA Citation

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

Warning: These citations may not always be 100% accurate.