APA (7th ed.) Citation

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 Style (17th ed.) Citation

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 (9th ed.) Citation

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.