APA-Zitierstil (7. Ausg.)

(2010). Verification, induction, termination analysis: Festschrift for Christoph Walther on the occasion of his 60th birthday. Springer. https://doi.org/10.1007/978-3-642-17172-7

Chicago-Zitierstil (17. Ausg.)

Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Berlin [u.a.]: Springer, 2010. https://doi.org/10.1007/978-3-642-17172-7.

MLA-Zitierstil (9. Ausg.)

Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Springer, 2010. https://doi.org/10.1007/978-3-642-17172-7.