Automatic Verification of the Adequacy of Models for Families of Geometric Objects | Publicación