APA-Zitierstil (7. Ausg.)

(2006). Constraint-based verification. Springer. https://doi.org/10.1007/0-387-30784-2

Chicago-Zitierstil (17. Ausg.)

Constraint-based Verification. New York, NY: Springer, 2006. https://doi.org/10.1007/0-387-30784-2.

MLA-Zitierstil (9. Ausg.)

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