Model Checking Software

MLA

Hutchison, David, Takeo Kanade, and Josef Kittler. Model Checking Software. Springer Berlin Heidelberg, 2009.

APA

Hutchison, D., Kanade, T., & Kittler, J. (2009). Model Checking Software. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, and Josef Kittler. Model Checking Software. : Springer Berlin Heidelberg, 2009.