TY - BOOK AU - Laski Janusz AU - Stanley William TI - Software Verification And Analysis An Integrated Hands On Approach SN - 9788132204510 PY - 2012/// CY - New Delhi PB - Springar KW - Computer Science KW - Software Engineering ER -