APA (7th ed.) Citation

Yuan, J., Pixley, C., & Aziz, A. (2006). Constraint-Based Verification. Springer Science+Business Media, Inc.

Chicago Style (17th ed.) Citation

Yuan, Jun, Carl Pixley, and Adnan Aziz. Constraint-Based Verification. Boston, MA: Springer Science+Business Media, Inc, 2006.

MLA (8th ed.) Citation

Yuan, Jun, et al. Constraint-Based Verification. Springer Science+Business Media, Inc, 2006.