APA (7th ed.) Citation

Hinchey, M., Bowen, J. P., & Olderog, E. (2017). Provably correct systems. Springer. https://doi.org/10.1007/978-3-319-48628-4

Chicago Style (17th ed.) Citation

Hinchey, Mike, Jonathan P. Bowen, and Ernst-Rüdiger Olderog. Provably Correct Systems. Cham: Springer, 2017. https://doi.org/10.1007/978-3-319-48628-4.

MLA (9th ed.) Citation

Hinchey, Mike, et al. Provably Correct Systems. Springer, 2017. https://doi.org/10.1007/978-3-319-48628-4.