Verification of goal-oriented HP-adaptivity | Publicación