Hinchey, M., Bowen, J. P., & Olderog, E. (2017). Provably correct systems. Springer. https://doi.org/10.1007/978-3-319-48628-4
Chicago-Zitierstil (17. Ausg.)Hinchey, Mike, Jonathan P. Bowen, und Ernst-Rüdiger Olderog. Provably Correct Systems. Cham: Springer, 2017. https://doi.org/10.1007/978-3-319-48628-4.
MLA-Zitierstil (9. Ausg.)Hinchey, Mike, et al. Provably Correct Systems. Springer, 2017. https://doi.org/10.1007/978-3-319-48628-4.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.