Model Checking Software

MLA

Valmari, Antti, Takeo Kanade, and Josef Kittler. Model Checking Software. Springer Berlin / Heidelberg, 2006.

APA

Valmari, A., Kanade, T., & Kittler, J. (2006). Model Checking Software. Springer Berlin / Heidelberg.

Chicago

Valmari, Antti, Takeo Kanade, and Josef Kittler. Model Checking Software. : Springer Berlin / Heidelberg, 2006.