APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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