Máster Universitario en Métodos Formales en Ingeniería Informática / Formal Methods in Computer Science por la Universidad Autónoma de Madrid; la Universidad Complutense de Madrid y la Universidad Politécnica de Madrid