APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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