APA (7th ed.) Citation

Huang, S., & Cheng, K. (1998). Formal Equivalence Checking and Design Debugging. Springer US. https://doi.org/10.1007/978-1-4615-5693-0

Chicago Style (17th ed.) Citation

Huang, Shi-Yu, and Kwang-Ting Cheng. Formal Equivalence Checking and Design Debugging. Boston, MA: Springer US, 1998. https://doi.org/10.1007/978-1-4615-5693-0.

MLA (9th ed.) Citation

Huang, Shi-Yu, and Kwang-Ting Cheng. Formal Equivalence Checking and Design Debugging. Springer US, 1998. https://doi.org/10.1007/978-1-4615-5693-0.