Verification, Induction, Termination Analysis

MLA

Siegler, Simon, et al. Verification, Induction, Termination Analysis. Springer Berlin Heidelberg, 2010.

APA

Siegler, S., Kanade, T., Wasser, N., & Kittler, J. (2010). Verification, Induction, Termination Analysis. Springer Berlin Heidelberg.

Chicago

Siegler, Simon, Takeo Kanade, Nathan Wasser, and Josef Kittler. Verification, Induction, Termination Analysis. : Springer Berlin Heidelberg, 2010.