APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Schumann, Johann. Automated Theorem Proving in Software Engineering. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 2001.

MLA (9th ed.) Citation

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