Παραπομπή APA

Kropf, T. (1999). Introduction to formal hardware verification. Berlin ; New York: Springer.

Παραπομπή Chicago Style

Kropf, Thomas. Introduction to Formal Hardware Verification. Berlin ; New York: Springer, 1999.

Παραπομπή MLA

Kropf, Thomas. Introduction to Formal Hardware Verification. Berlin ; New York: Springer, 1999.

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