APA-Zitierstil (7. Ausg.)
Madeira, A., & Knapp, A. (2025). Software Engineering and Formal Methods. Springer Nature.
Chicago-Zitierstil (17. Ausg.)
Madeira, Alexandre, und Alexander Knapp. Software Engineering and Formal Methods. Springer Nature, 2025.
MLA-Zitierstil (9. Ausg.)
Madeira, Alexandre, und Alexander Knapp. Software Engineering and Formal Methods. Springer Nature, 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.