A Decision Making Tool for Mathematics Curricula Formal Verification | Publicación