APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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

Kontuz: berrikusi erreferentzia hauek erabili aurretik.