Equipa INESC TEC contribui para nova versão de linguagem de modelação Alloy
Os investigadores do Alcino Cunha e Nuno Macedo contribuíram para o desenvolvimento do Alloy...
Investigadores do INESC TEC distinguidos em conferência internacional de engenharia de software
O artigo “Schema-guided Testing of Message-oriented Systems”, escrito em co-autoria por Alcino Cunha e...