Παραπομπή APA

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

Παραπομπή Chicago Style

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

Παραπομπή MLA

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

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.