APA (7th ed.) Citation

Kropf, T. (1999). Introduction to Formal Hardware Verification. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Kropf, Thomas. Introduction to Formal Hardware Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999.

MLA (9th ed.) Citation

Kropf, Thomas. Introduction to Formal Hardware Verification. Springer Berlin Heidelberg, 1999.