Model Checking Software

MLA

Fischer, and Jaco Geldenhuys. Model Checking Software. Springer International Publishing, 2015.

APA

Fischer, F., & Geldenhuys, J. (2015). Model Checking Software. Springer International Publishing.

Chicago

Fischer, and Jaco Geldenhuys. Model Checking Software. : Springer International Publishing, 2015.