Garoche, P. (2019). Formal Verification of Control System Software. Princeton University Press. https://doi.org/10.1515/9780691189581
Chicago-Zitierstil (17. Ausg.)Garoche, Pierre-Loic. Formal Verification of Control System Software. Princeton, NJ: Princeton University Press, 2019. https://doi.org/10.1515/9780691189581.
MLA-Zitierstil (9. Ausg.)Garoche, Pierre-Loic. Formal Verification of Control System Software. Princeton University Press, 2019. https://doi.org/10.1515/9780691189581.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.