Software Verification and Analysis

MLA

Stanley, William, and Janusz Laski. Software Verification and Analysis. Springer London, 2009.

APA

Stanley, W., & Laski, J. (2009). Software Verification and Analysis. Springer London.

Chicago

Stanley, William, and Janusz Laski. Software Verification and Analysis. : Springer London, 2009.