Programming Logics

MLA

Hutchison, David; Kanade, Takeo; Kittler, Josef, Josef Kittler, and Christoph Weidenbach. Programming Logics. Springer Berlin Heidelberg, 2013.

APA

Hutchison, J., Kittler, J., & Weidenbach, C. (2013). Programming Logics. Springer Berlin Heidelberg.

Chicago

Hutchison, David; Kanade, Takeo; Kittler, Josef, Josef Kittler, and Christoph Weidenbach. Programming Logics. : Springer Berlin Heidelberg, 2013.