APA (7th ed.) Citation

SpringerLink (Online service), Siegler, S., Walther, C., & Wasser, N. (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 Style (17th ed.) Citation

SpringerLink (Online service), Simon Siegler, Christoph Walther, and Nathan Wasser. Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Berlin ; New York: Springer, 2010. https://doi.org/10.1007/978-3-642-17172-7.

MLA (9th ed.) Citation

SpringerLink (Online service), et al. 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.