Verificación de diseño y código. - Begic, Goran