Schumann, J. (2000). Automated theorem proving in software engineering.
Chicago-Zitierstil (17. Ausg.)Schumann, Johann. Automated Theorem Proving in Software Engineering. 2000.
MLA-Zitierstil (9. Ausg.)Schumann, Johann. Automated Theorem Proving in Software Engineering. 2000.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.