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 ...