TY - BOOK TI - Software testing T2 - Invited papers SN - 8553-9550-8 PY - 1979/// CY - England: PB - Pergamon Infotech Limited, KW - System life-cycle KW - Requirements analysis KW - Design representation ER -