Gleirscher, M., Massoud, R., Hutter, D., & Lüth, C. (2024). How Deduction Systems Can Help You To Verify Stability Properties.
Chicago-Zitierstil (17. Ausg.)Gleirscher, Mario, Rehab Massoud, Dieter Hutter, und Christoph Lüth. How Deduction Systems Can Help You To Verify Stability Properties. 2024.
MLA-Zitierstil (9. Ausg.)Gleirscher, Mario, et al. How Deduction Systems Can Help You To Verify Stability Properties. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.