Benito Montoro, Raúl and Chen, Xukai (2021) Comprobación de equivalencia entre especificaciones basadas en expresiones regulares. [Trabajo Fin de Grado]