APA (7th ed.) Citation

Łaski, J., & Stanley, W. (2009). Software verification and analysis: An integrated, hands-on approach. Springer. https://doi.org/10.1007/978-1-84882-240-5

Chicago Style (17th ed.) Citation

Łaski, Janusz, and William Stanley. Software Verification and Analysis: An Integrated, Hands-on Approach. London ; New York: Springer, 2009. https://doi.org/10.1007/978-1-84882-240-5.

MLA (9th ed.) Citation

Łaski, Janusz, and William Stanley. Software Verification and Analysis: An Integrated, Hands-on Approach. Springer, 2009. https://doi.org/10.1007/978-1-84882-240-5.