TY - BOOK AU - Laski, Janusz AU - Stanley, William.,jt.auth. TI - Software verification and analysis : an integrated, hands-on approach SN - 9788132204510 U1 - 005.14 LAS-J PY - 2009/// CY - New Delhi PB - Springer KW - Computer software --Verification ER -