APA Citation

Drechsler, R. (2004). Advanced Formal Verification (1st ed. 2004.). New York, NY: Springer US.

Chicago Style Citation

Drechsler, Rolf. Advanced Formal Verification. 1st ed. 2004. New York, NY: Springer US, 2004.

MLA Citation

Drechsler, Rolf. Advanced Formal Verification. 1st ed. 2004. New York, NY: Springer US, 2004.

Warning: These citations may not always be 100% accurate.