Παραπομπή APA
Kropf, T. (1999). Introduction to formal hardware verification. Berlin ; New York: Springer.
Παραπομπή Chicago StyleKropf, Thomas. Introduction to Formal Hardware Verification. Berlin ; New York: Springer, 1999.
Παραπομπή MLAKropf, Thomas. Introduction to Formal Hardware Verification. Berlin ; New York: Springer, 1999.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.