Laski, Janusz Software verification and analysis : an integrated, hands-on approach / Janusz Laski and William Stanley - New Delhi Springer 2009 - 224 p. ISBN: 9788132204510 Subjects--Topical Terms: Computer software --Verification. Dewey Class. No.: 005.14 LAS-J