Program Testing and Verification

Program Testing and Verification (Advisor: Tudor Jebelean)