Diego Figueira visits UBA during the period 2-30 November. Diego is a CNRS full-time researcher at the Formal Methods team of LaBRI in Bordeaux, France.Diego Figueira visits UBA during the period 2-30 November. Diego is a CNRS full-time researcher at the Formal Methods team of LaBRI in Bordeaux, France.Diego Figueira visits UBA during the period 2-30 November. Diego is a CNRS full-time researcher at the Formal Methods team of LaBRI in Bordeaux, France.