Model Checking Software

MLA

Pol, Jaco, et al. Model Checking Software. Springer Berlin Heidelberg, 2010.

APA

Pol, J., Kanade, T., Weber, M., & Kittler, J. (2010). Model Checking Software. Springer Berlin Heidelberg.

Chicago

Pol, Jaco, Takeo Kanade, Michael Weber, and Josef Kittler. Model Checking Software. : Springer Berlin Heidelberg, 2010.