Tohutoro APA (7th ed.)
Simon Siegler, N. W. Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Springer.
Tohutoru Kātū Chicago (17th ed.)
Simon Siegler, Nathan Wasser. Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Berlín, Alemania: Springer.
Tohutoro MLA (9th ed.)
Simon Siegler, Nathan Wasser. Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Springer.
Kia tūpato: Kāore pea ēnei kupu hautoa i te ōrite pū 100%.