APA-Zitierstil (7. Ausg.)

Schumann, J. M. (2001). Automated Theorem Proving in Software Engineering (1st ed. 2001.). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-22646-9

Chicago-Zitierstil (17. Ausg.)

Schumann, Johann M. Automated Theorem Proving in Software Engineering. 1st ed. 2001. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. https://doi.org/10.1007/978-3-662-22646-9.

MLA-Zitierstil (9. Ausg.)

Schumann, Johann M. Automated Theorem Proving in Software Engineering. 1st ed. 2001. Springer Berlin Heidelberg, 2001. https://doi.org/10.1007/978-3-662-22646-9.