Cita APA

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

Citación estilo Chicago

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

Cita MLA

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