Model Checking Software

MLA

Carbonell, Jaime G, et al. Model Checking Software. Springer Berlin Heidelberg, 2007.

APA

Carbonell, J. G, Siekmann, J., Edelkamp, S., & Pfenning, F. (2007). Model Checking Software. Springer Berlin Heidelberg.

Chicago

Carbonell, Jaime G., Jörg Siekmann, Stefan Edelkamp, and Frank Pfenning. Model Checking Software. : Springer Berlin Heidelberg, 2007.