APA Zitierstil

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

Chicago Zitierstil

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

MLA Zitierstil

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

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.