Drechsler, R. (2004). Advanced Formal Verification (1st ed. 2004.). New York, NY: Springer US.
Chicago Style CitationDrechsler, Rolf. Advanced Formal Verification. 1st ed. 2004. New York, NY: Springer US, 2004.
MLA CitationDrechsler, Rolf. Advanced Formal Verification. 1st ed. 2004. New York, NY: Springer US, 2004.
Warning: These citations may not always be 100% accurate.