Laski, Janusz

Software verification and analysis : an integrated, hands-on approach / Janusz Laski and William Stanley - New Delhi Springer 2009 - 224 p.

9788132204510


Computer software --Verification.

005.14 LAS-J