Anton Krbaťa Ján Budáč 10.11.2009. Verification: "Are we building the product right ?„ Validation: "Are we building the right product ?"