Model Checking Software

MLA

Gallardo, Pedro Merino, and Pedro Merino. Model Checking Software. Springer International Publishing, 2018.

APA

Gallardo, G., Pedro Merino, P. Merino, & Merino, P. (2018). Model Checking Software. Springer International Publishing.

Chicago

Gallardo, Pedro Merino, and Pedro Merino. Model Checking Software. : Springer International Publishing, 2018.