Model Checking Software

MLA

Groce, Alex, et al. Model Checking Software. Springer Berlin Heidelberg, 2011.

APA

Groce, A., Kanade, T., Musuvathi, M., & Kittler, J. (2011). Model Checking Software. Springer Berlin Heidelberg.

Chicago

Groce, Alex, Takeo Kanade, Madanlal Musuvathi, and Josef Kittler. Model Checking Software. : Springer Berlin Heidelberg, 2011.