APA (7th ed.) Citation

Yuan, J., Aziz, A., & Pixley, C. (2006). Constraint-based verification. Springer. https://doi.org/10.1007/0-387-30784-2

Chicago Style (17th ed.) Citation

Yuan, Jun, Adnan Aziz, and Carl Pixley. Constraint-based Verification. New York, NY: Springer, 2006. https://doi.org/10.1007/0-387-30784-2.

MLA (9th ed.) Citation

Yuan, Jun, et al. Constraint-based Verification. Springer, 2006. https://doi.org/10.1007/0-387-30784-2.