APA (7th ed.) Citation

Schumann, J. M. (2001). Automated theorem proving in software engineering. Springer.

Chicago Style (17th ed.) Citation

Schumann, Johann M. Automated Theorem Proving in Software Engineering. Berlin ; New York: Springer, 2001.

MLA (9th ed.) Citation

Schumann, Johann M. Automated Theorem Proving in Software Engineering. Springer, 2001.