Nielson, F., & Nielson, H. R. (2019). Formal methods: An appetizer. Springer. https://doi.org/10.1007/978-3-030-05156-3
Chicago-Zitierstil (17. Ausg.)Nielson, Flemming, und Hanne Riis Nielson. Formal Methods: An Appetizer. Cham: Springer, 2019. https://doi.org/10.1007/978-3-030-05156-3.
MLA-Zitierstil (9. Ausg.)Nielson, Flemming, und Hanne Riis Nielson. Formal Methods: An Appetizer. Springer, 2019. https://doi.org/10.1007/978-3-030-05156-3.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.