APA (7th ed.) Citation

Schwichtenberg, H., & Spies, K. (2006). Proof technology and computation (1.). IOS Press.

Chicago Style (17th ed.) Citation

Schwichtenberg, Helmut, and Katharina Spies. Proof Technology and Computation. 1. Amsterdam ; Tokyo: IOS Press, 2006.

MLA (9th ed.) Citation

Schwichtenberg, Helmut, and Katharina Spies. Proof Technology and Computation. 1. IOS Press, 2006.

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