Constraint-based verification.

MLA

Yuan, Jun, Adnan Aziz, and Carl Pixley. Constraint-based Verification. New York: Springer, 2006.

APA

Yuan, J., Aziz, A., & Pixley, C. (2006). Constraint-based verification. New York: Springer.

Chicago

Yuan, Jun, Adnan Aziz, and Carl Pixley. Constraint-Based Verification. New York: Springer, 2006.