Investigação INESC TEC em linguagem de especificação Alloy apresentada em conferência de topo de engenharia de software
No âmbito do trabalho na linguagem e ferramenta de especificação Alloy, uma equipa de investigadores do INESC TEC apresentou a ...










Notícias, atualidade, curiosidades e muito mais sobre o INESC TEC e a sua comunidade!