Constraint-Based Verification

MLA

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

APA

Yuan, J., Aziz, A., & Pixley, C. (2006). Constraint-Based Verification. Dordrecht: Springer US.

Chicago

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