Laski, J., & Stanley, W. (2009). Software verification and analysis: An integrated, hands-on approach. Springer.
Lua i Stíl Chicago (17ú heag.)Laski, Janusz, agus William Stanley. Software Verification and Analysis: An Integrated, Hands-on Approach. London: Springer, 2009.
Lua MLA (9ú heag.)Laski, Janusz, agus William Stanley. Software Verification and Analysis: An Integrated, Hands-on Approach. Springer, 2009.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.