Casso San Roman, Ignacio (2018) Towards computing distances among abstract interpretations. [Trabajo Fin de Grado]