Παραπομπή APA

Drechsler, R. (2004). Advanced formal verification. Boston: Kluwer Academic Publishers.

Παραπομπή Chicago Style

Drechsler, Rolf. Advanced Formal Verification. Boston: Kluwer Academic Publishers, 2004.

Παραπομπή MLA

Drechsler, Rolf. Advanced Formal Verification. Boston: Kluwer Academic Publishers, 2004.

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