APA (7th ed.) Citation

Stanley, W., & Laski, J. (2009). Software Verification and Analysis: An Integrated, Hands-On Approach. Springer London : Imprint: Springer.

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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