APA (7th ed.) Citation

Laski, J., & Stanley, W. (2009). Software verification and analysis: An integrated, hands-on approach. Springer.

Chicago Style (17th ed.) Citation

Laski, Janusz, and William Stanley. Software Verification and Analysis: An Integrated, Hands-on Approach. London: Springer, 2009.

MLA (9th ed.) Citation

Laski, Janusz, and William Stanley. Software Verification and Analysis: An Integrated, Hands-on Approach. Springer, 2009.