APA (7th ed.) Citation

(2010). Verification, induction, termination analysis: Festschrift for Christoph Walther on the occasion of his 60th birthday. Springer.

Chicago Style (17th ed.) Citation

Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Berlin [u.a.]: Springer, 2010.

MLA (9th ed.) Citation

Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Springer, 2010.

Warning: These citations may not always be 100% accurate.