Model Checking Software

MLA

Godefroid, Patrice, Takeo Kanade, and Josef Kittler. Model Checking Software. Springer Berlin / Heidelberg, 2005.

APA

Godefroid, P., Kanade, T., & Kittler, J. (2005). Model Checking Software. Springer Berlin / Heidelberg.

Chicago

Godefroid, Patrice, Takeo Kanade, and Josef Kittler. Model Checking Software. : Springer Berlin / Heidelberg, 2005.