Gaya APA

Model Checking Software. (2005). Berlin: Springer.

Gaya MLA

Model Checking Software. 1st ed.. Berlin: Springer, 2005. E Book.