APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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