Provably Correct Systems

MLA

Hinchey, Mike; Bowen, Jonathan P.; Olderog, Ernst-Rüdiger, Jonathan P Bowen, and Ernst-Rüdiger Olderog. Provably Correct Systems. Springer International Publishing, 2017.

APA

Hinchey, E., Bowen, J. P, & Olderog, E. (2017). Provably Correct Systems. Springer International Publishing.

Chicago

Hinchey, Mike; Bowen, Jonathan P.; Olderog, Ernst-Rüdiger, Jonathan P Bowen, and Ernst-Rüdiger Olderog. Provably Correct Systems. : Springer International Publishing, 2017.