Model Checking Software

MLA

Havelund, Klaus, et al. Model Checking Software. Springer Berlin Heidelberg, 2008.

APA

Havelund, K., Kanade, T., Majumdar, R., Palsberg, J., & Kittler, J. (2008). Model Checking Software. Springer Berlin Heidelberg.

Chicago

Havelund, Klaus, Takeo Kanade, Rupak Majumdar, Jens Palsberg, and Josef Kittler. Model Checking Software. : Springer Berlin Heidelberg, 2008.