Model Checking Software

MLA

Biondi, Thomas Given-Wilson, and Axel Legay. Model Checking Software. Springer International Publishing, 2019.

APA

Biondi, B., Given-Wilson, T., & Legay, A. (2019). Model Checking Software. Springer International Publishing.

Chicago

Biondi, Thomas Given-Wilson, and Axel Legay. Model Checking Software. : Springer International Publishing, 2019.