INESC TEC acolhe reunião de grupo internacional de especialistas no estudo e desenvolvimento de linguagens algorítmicas e cálculos formais
Quase 30 especialistas de renome mundial, provenientes de vários pontos do globo, rumaram a Portugal para discutir os avanços na ...