O'Regan, G. (2017). Concise guide to formal methods: Theory, fundamentals and industry applications. Springer. https://doi.org/10.1007/978-3-319-64021-1
Chicago-Zitierstil (17. Ausg.)O'Regan, Gerard. Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications. Cham: Springer, 2017. https://doi.org/10.1007/978-3-319-64021-1.
MLA-Zitierstil (9. Ausg.)O'Regan, Gerard. Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications. Springer, 2017. https://doi.org/10.1007/978-3-319-64021-1.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.